This is a golog interpreter written in Haskell and applications of it.
[golog](http://www.cs.toronto.edu/cogrobo/main/) is an action language based on
the [situation calculus](http://en.wikipedia.org/wiki/Situation_calculus).
There are many dialects of golog; this is one of them.