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.
Prolog Architectures
DE BLASI, Mario;MARRA, Osvaldo;CICCARESE, Giovanni
1995-01-01
Abstract
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.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.
