A “Functional + Logic” programming language in interpretation-compilation implementation

Research paper by Gang Cheng, Zhang Yun-Zheng

Indexed on: 01 Sep '92Published on: 01 Sep '92Published in: Higher-Order and Symbolic Computation


We have implemented a “Functional + Logic” programming language which is mainly used in knowledge-based programming. By making use of LISP's rich environment, it naturally integrates LISP and PROLOG through the S-expression. The resulting system, in which the user can program either independently or in the mixed paradigms of LISP and PROLOG, has flexible computational mechanisms, two programming paradigms, and powerful descriptive abilities. In order to overcome the serious problems in an interpreted implementation that the execution efficiency of the logic part is much worse than that of functional part and the inefficient interface is invoked repeatedly, we have implemented an interpretation-compilation system of the “Functional + Logic” language. This paper introduces the design principles, internal structure, and implementation details of the system.