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.
Introduction to Prolog computation model and its implementation
DOMENICI, ANDREA;LAZZERINI, BEATRICE;PRETE, COSIMO ANTONIO
1990-01-01
Abstract
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.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.
