93 Design of Abstract Machine for Logic Programming Language Gödel(Bulletin) Available to Purchase

Gödel is a general-purpose logic programming language succeeded to Prolog. And its compiler has not been developed yet. As a tool, the implementation of the compiler for programming language Gödel will have great significance to study in-depth and widespread use of programming language Gödel, which is also important to the research on artificial intelligence and the development of intelligent software. In this paper, an implementation of the compiler for Gödel is introduced. The sources of the language are translated into the instructions of Gödel Abstract Machine after lexical analysis, parsing and semantic analysis. Gödel Abstract Machine is a new abstract machine expanded from Warren's abstract machine. The instructions are executed on the machine. The system structure of Gödel Abstract Machine and instruction design were described.