LISP and Symbolic Computation, 5(3)133-156
A "Functional + Logic" Programming Language in Interpretation-Compilation ImplementationGang Cheng, Department of Computer Science, Huazhong University of Science and Technology, Wuhan, Hubei Province, P.R. China
Zhang Yun-Zheng, Department of Computer Science, Huazhong University of Science and Technology, Wuhan, Hubei Province, P.R. China
| Abstract: 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. |
This article is not available online.
![[picture of journal cover]](../LISP.JPG)