LORE-Interpreter. Notes on the Implementation

摘要

The implementation of the interpreter of the logic based programming environment LORE will be described. The description will focus on the execution of instructions using a dynamic environment implemented by stacks. Execution of instructions, unification and backtracking will be explained in terms of these stacks. (Copyright (c) 1989 by Faculty of Technical Mathematics and Informatics, Delft, The Netherlands.)