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

fYear

1991

fDate

13-16 May 1991

Firstpage

31

Lastpage

35

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/CMPEUR.1991.257351

Filename

257351