The current paper describes an analysis of GHC abstract machine and Prolog abstract machine, and presents an implementation of abstract machine. The implementation of GHC abstract machines and Prolog abstract machines strongly influenced this work. Ou...
The current paper describes an analysis of GHC abstract machine and Prolog abstract machine, and presents an implementation of abstract machine. The implementation of GHC abstract machines and Prolog abstract machines strongly influenced this work. Our aim is to extend an abstract machine for knowledge base processing.
Many of the ideas included in this paper originated in (1), (2), (4). Section 2 shows an configuration of abstract machine and introduced in the data areas and registers. Section 3 summaries the important instruction. Section 4 present another algorithm which is able to perform parallelism and consistency check.