A Prolog environment within the Unix operating system
Andrea Domenici, Beatrice Lazzerini, Cosimo Antonio Prete · CINECA IRIS Institutial research information system (University of Pisa) · 1987
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.