Executing contextual logic programming on a dedicated VLSI coprocessor

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.< >