A Prolog environment implemented on the Unix operating system is presented. Main requirement was the design of a simple and powerful environment useful in instructing computer engineering students both in Prolog programming and in the design of Prolog-like language interpreters. Our environment provides a Prolog interpreter, a syntax analyzer, a pretranslator and an execution trace facility. The trace facility allows to display, at each execution step, the type of operation (unification, backtracking) performed by the interpreter or to inspect the contents of both the interpreter registers and the user variables.

A Prolog environment within the Unix operating system

DOMENICI, ANDREA;LAZZERINI, BEATRICE;PRETE, COSIMO ANTONIO
1987-01-01

Abstract

A Prolog environment implemented on the Unix operating system is presented. Main requirement was the design of a simple and powerful environment useful in instructing computer engineering students both in Prolog programming and in the design of Prolog-like language interpreters. Our environment provides a Prolog interpreter, a syntax analyzer, a pretranslator and an execution trace facility. The trace facility allows to display, at each execution step, the type of operation (unification, backtracking) performed by the interpreter or to inspect the contents of both the interpreter registers and the user variables.
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: https://hdl.handle.net/11568/177124
 Attenzione

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

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