Golog

This site is dedicated to research regarding the Golog language, its variants, and its interpreters. If you do research on Golog and have published papers about it that do not yet appear on this site, or have implemented a version of Golog that we do not link to, please contact me ( @cs.toronto.edu).

golog

Publications

We try to maintain a comprehensive list of papers published in this area. If you are using BibBase to list your publications online, then please consider adding the keyword "golog" to all your applicable publications. Doing so will make those papers appear on this site automatically. Otherwise, please send us any publications of yours that we may have missed.

Software

  • Golog: A high-level agent programming language.

    An interpreter in SWI Prolog can be found here.
    An interpreter in ECLIPSE Prolog can be found here.
    More code related to Golog can be found in Reiter’s book Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. Click here to go to the book’s homepage.

  • ConGolog: Concurrent Golog.

    ConGolog incorporates concurrency, interrupts, and exogenous actions into Golog. Hence, it allows the design of more flexible controllers for agents living in complex scenarios.
    If you want to get the corresponding code, please contact Yves Lespérance.

  • IndiGolog: Incremental Deterministic (Con)Golog.

    IndiGolog is a high-level programming language where programs are executed incrementally to allow for interleaved action, planning, sensing, and exogenous events. IndiGolog provides a practical framework for real robots that must react to the environment and continuously gather new information from it. To account for planning, IndiGolog provides a local lookahead mechanism with a new language construct called the search operator.
    Indigolog is currently in “alpha” stage. You can download the latest version via svn using the following command:
    svn co https://indigolog.svn.sourceforge.net/svnroot/indigolog indigolog
    You can get an earlier version (linux-0.5alpha1) here.

  • LeGolog: Lego MINDSTORM in ConGolog.

    LeGolog is a complete agent architecture implementation in Prolog for running IndiGolog high-level programs in Lego MINDSTORM robots.
    Click here to go to the special LeGolog web-page.

People