The 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 interni: | |
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.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.