PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Aiello L. Evaluating functions defined in first order logic. Internal note IEI-B80-15, 1980.
 
 
Abstract
(English)
After a short introduction to FOL, an interactive reasoning system for first order logic, we present a way of extending the use of the FOL evaluator by showing how systems of (mutually recursive) function definitions formulated in first order logic can be translated into programs. This allows function definitions (syntactic objects) to be treated as programs (semantic objects). The advantages or 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