PUMA
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.
 
 
Abstract
(English)
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.
Subject


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