Next: , Up: Adding more Prolog functionality

4.2.1 Golog

The Cognitive Robotics Group at the University of Toronto provides a prolog file providing support for the Golog language for situation calculus (an extension of Prolog). This has not yet been tested to determine whether it works with GPJ. Should you have difficulty finding this file then Daniel Thomas may be able to help.