EnglishThe paper is a gentle introduction to Prolog implementation, which, even if unnecessary for pure logic programming, can assist the construction of efficient Prolog programs. First a recursive model of Prolog computation is introduced, then this is transformed to an iterative model, and finally optimizations are introduced. Implementation details are derived that show how this model encompasses most existing Prolog implementations.
| Autori: | |
| Autori: | A. Domenici; LAZZERINI B; C.A. Prete |
| Titolo: | Introduction to Prolog computation model and its implementation |
| Anno del prodotto: | 1990 |
| Digital Object Identifier (DOI): | 10.1016/0950-5849(90)90129-F |
| Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11568/197916
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2018