GOLOG is described in:

Levesque, H. J., Reiter, R., Lespérance, Y., Lin, F., & Scherl, R. B.
(1997). GOLOG: A Logic Programming Language for Dynamic Domains.
Journal of Logic Programming, 31(1-3), 59-83

It is based on the Situation Calculus. Since Lisp and the Situation
Calculus are closely related, it might be better to work directly in
picolisp rather than trying to adapt a Prolog implementation into

Just my $0.02
UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe

Reply via email to