Istituto di Scienza e Tecnologie dell'Informazione     
Aiello L. Evaluating functions defined in first order logic. Internal note IEI-B80-15, 1980.
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.

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