Skip to Main Content
ASME Press Select Proceedings

International Conference on Mechanical and Electrical Technology, 3rd, (ICMET-China 2011), Volumes 1–3

Yi Xie
Yi Xie
Search for other works by this author on:
No. of Pages:
ASME Press
Publication date:

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.

This content is only available via PDF.
Close Modal
This Feature Is Available To Subscribers Only

Sign In or Create an Account

Close Modal
Close Modal