LISPLOG im Kontext anderer LISP/PROLOG-Vereinheitlichungen

Abstract

Since 1979 a lot of functional/relational languages integrating LISP and PROLOG have been described in the literature. In this paper it is tried to find the position of LISPLOG in the context of ten important other hybrids, which are mainly LISP based, e.g. LOGLISP, LM-Prolog and Symbolics Prolog.

After a short introduction and a general view of these hybrids, firstly the integration of programming styles is compared, namely the correspondence of LISP/PROLOG data structures and the facilities to access one formalism from the other. Implementation techniques of PROLOG interpreters, particularly for implementation of control, representation of term instances and database indexing, are examined in the second part, with the emphasis being on LISP as the implementation language. The comparison is supplemented by a short description of compilation techniques for PROLOG (in LISP) used by compilers of the treated languages.

Finally, some conclusions for present and future improvements of LISPLOG are outlined.