From: Marek HATALA
Subject: Looking for parser of Prolog goals in Lisp
Date: Wed, 18 Sep 1996 00:00:00 +0000
Message-ID: <51opeu$rdm@ccnews.ke.sanet.sk>

Hello,

Can somebody point me on the CL code parsing Prolog goals from a
string. What I exactly need is code able to tell me which Prolog
predicate in an expression is a goal (if its possible due to the
unknown priority of operators) and its arity. Possible expressions are
those printed out by Prolog tracer.

Example (expressions are placed after numbers)
   Exit:  ( 14) [a, c] \= []
   Exit:  ( 13) oh([[b, a, c]], [[a, c], [b]])
 ^ Call:  ( 13) not prvok_permutacie([[a, c], [b]], [[[b, a, c]], [[a,
c], [b]], [[a], [b], [c]], [[b, a], [c]], [[b, c], [a]], [[a, b, c]]])
   Call:  ( 14) prvok_permutacie([[a, c], [b]], [[[b, a, c]], [[a, c],
[b]], [[a], [b], [c]], [[b, a], [c]], [[b, c], [a]], [[a, b, c]]])

Thanks

Marek
Marek Hatala              (······@ccsun.tuke.sk)
--
Laboratory of Artificial Intelligence
Department of Cybernetics and AI
Technical University of Kosice
SLOVAKIA