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:[email protected]?subject=Unsubscribe
