golog

Jump To: Parent Description

Related Systems: mepk mleantap mprolog


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