Uebersetzung von LISPLOG-Programmen nach CPROLOG

Abstract

A LISPLOG program is a set of horn clauses. Pure PROLOG’s proof strategy is a kind of resolution. In LISPLOG, however, LISP predicates can be used like PROLOG goals. These will be proved by evaluating the LISP functions instead of using the resolution theorem prover. To translate a LISPLOG program into CPROLOG, these function applications have to be transformed into applications of PROLOG relations. In order to prove these relations by resolution, new horn clauses have to be added to the database. These new horn clauses are created from the definition of the corresponding LISP function.