LACET, Eraldo Cruz.
Resumen:
This dissertation consists of the design and implementation of a basic PROLOG interpreter (that is, without a large library of predicates and functions, and without optimizations
elaborated, such as those for right recursion). Its purpose is not only to provide a tool for programming in logic, but also to serve as a starting point for future research in the area of PROLOG interpreters development. In the interpreter 's project we used the constantine methodology (see, for example, Stevens - 1981) to obtain a program of easy understanding, maintenance and amplification. Implemented in the PASCALVS of the IBM-4341, it was avoided to use the extensions of the PASCAL language available in that compiler, favoring the portability of the
interpreter. In the resolution process, following van Emden (1981) and Ferguson (1981), the "proof tree with shared structures" model is used as a good way to implement LUSH resolution.