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

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.
Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
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.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11568/197916
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact