Systems

Here, you can find most of the systems developed so far by the group. All of them are based on Prolog (usually Eclipse, SWI, LPA, and Quintus.)
  • 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 with 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.

    The latest Indigolog can be obtained from Bitbucket git repository here. You can clone the repository via git using the following command:
    git clone https://ssardina@bitbucket.org/ssardina/indigolog.git

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

  • Planning with Loops: An iterative planner based on Situation Calculus.

    Click here to download the corresponding paper Planning with Loops.
    Click here to download the implementation of the planner in Prolog.
    Click here to download a newer version of the planner.

Before using any of the systems listed above please read the following disclaimer carefully:

This software was developed by the Cognitive Robotics Group under the direction of Hector Levesque and Ray Reiter.Do not distribute without permission. Include this notice in any copy made. Copyright (c) 2000 by The University of Toronto, Toronto, Ontario, Canada. All Rights Reserved.

Permission to use, copy, and modify, this software and its documentation for non-commercial research purpose is hereby granted without fee, provided that the above copyright notice appears in all copies and that both the copyright notice and this permission notice appear in supporting documentation, and that the name of The University of Toronto not be used in advertising or publicity pertaining to distribution of the software without specific, written prior permission. The University of Toronto makes no representations about the suitability of this software for any purpose. It is provided “as is” without express or implied warranty.

THE UNIVERSITY OF TORONTO DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS, IN NO EVENT SHALL THE UNIVERSITY OF TORONTO BE LIABLE FOR ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.