Istituto di Scienza e Tecnologie dell'Informazione     
Aiello L. Evaluating functions defined in first order logic. In: Logic Programming Workshop (Debrecen, Ungheria, Giugno 1980). Proceedings, pp. 92 - 105. 1980.
After a short introduction to FOL,an interactive reasoning system for first logic, we present a way of extending the use FOL evaluator by showing how systems of (mutually recursive) function definitions formulated in fint order logic can be treated as programs. This allows functions definitions (syntactic objects) tolated into programs (semantic objects). The advantages of this translation are illustrated.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional