Prolog Architectures

This is a tele-education lecture on Prolog implementation. A constructive approach has been followed aiming to give the students the capability to design a Prolog interpreter, with its static and dynamic data structures, and to apply it to Parallel Prolog architectures. A building block named CUP, Coprocessor for Unification in Prolog, is introducecl and applied to the design of a parallel architecture based on anticipated backtracking