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