Plan recognition system based on the situation calculus and Golog written in Haskell.