1b. 2 Gödel

Http://www.docin.com/p-92139363.html

LogicProgramDescribes a question in a logical language, and uses a summary method to obtain the answer to the question.You can generalize the logic program into: algorithm = logic + control.The logic part is defined by the programmer in the program, and the control part (the reasoning process) is implemented by the inference engine corresponding to the language. Therefore, the inference engine is an indispensable part of a logical program and a core program in a language interpretation system. In the interpretation and compilation of previous versions of PROLOG languages, whether an efficient inference engine exists is the key to the success of language implementation. Just as the introduction of the WAM abstract machine promotes the emergence of various Prolog implementation versions and makes Prolog more practical, the Godel language, as a new logic programming language, in particular, appropriate compilation and running support environments and integrated development environments are required. The research group of the author is devoted to the research and development of the Godel language implementation system and its integrated development environment. An efficient Godel inference engine is one of the keys to the implementation of the entire system.

The Godel language introduces new mechanisms not found in many prologs and has powerful functions. However, it also makes compilation and implementation difficult, especially the implementation difficulty of the Godel inference engine. Currently, the development of the Godel language compilation system is still in the laboratory research phase. Only the research team of Bristol University developed the experimental program Bristol Godel to verify the function of the Godel language on a single machine. In the Bristol Godel system implemented by sicstus Prolog, The Godel source program is translated into the target language sicstus Prolog, and then the interpretation system of sicstus Prolog is interpreted and executed. Therefore, the system is not a real compilation system, and many new language components are not implemented. Therefore, it is only a rapid prototype system and has no practical value. As a rapid prototype system, its execution efficiency is low and can only be run in Linux environment, which reflects the research and promotion of the Godel language to a certain extent. However, how to implement the Godel language has always been an unsolved problem. The difficulty lies in that, unlike the traditional process-oriented programming language, the characteristics and operating mechanism of logical programming determine that the inference engine must be part of the target program, the introduction of multi-type polymorphism systems and the increase in uncertainty in the logic program make it difficult for existing compilation methods to generate the Code ; the introduction of new language components and computing rules also requires the development of new implementation technologies. Therefore, in order to obtain a Godel compilation system with high execution efficiency, a new technical path must be explored in the implementation process.