Title :
Executing contextual logic programming on a dedicated VLSI coprocessor
Author :
Civera, Pierluigi ; Lamma, Evelina ; Mello, Paola ; Natali, Antonio ; Piccinini, Gianluca ; Zamboni, Maurizio
Author_Institution :
Politecnico di Torino, Italy
Abstract :
The effective implementation of a logic language (EC-Prolog) that is based on contextual logic programming, subsumes standard Prolog, and efficiently supports and integrates different structured logic languages is discussed. The implementation is based on an extension of the abstract machine developed by D.H.D. Warren (1983) and is obtained by adding a specialized coprocessor (S-PROXIMA), based on a microprogrammed VLSI architecture, to a standard CPU. A description is presented of the extended Warren abstract machine (WAM) code, the compilation-based environment supporting the general framework, and the specialized microprocessor architecture
Keywords :
PROLOG; high level languages; logic programming; microprocessor chips; satellite computers; Prolog; S-WAM; abstract machine; compilation-based environment; contextual logic programming; extended Warren abstract machine; logic language; microprogrammed VLSI architecture; specialized coprocessor; specialized microprocessor architecture; Coprocessors; Logic design; Logic programming; Microprocessors; Proposals; Query processing; Very large scale integration;
Conference_Titel :
CompEuro '91. Advanced Computer Technology, Reliable Systems and Applications. 5th Annual European Computer Conference. Proceedings.
Conference_Location :
Bologna
Print_ISBN :
0-8186-2141-9
DOI :
10.1109/CMPEUR.1991.257351
