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
pilog.

Just my $0.02
-- 
http://gr.linkedin.com/in/yiorgos
--
UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe

Reply via email to