A partial order planner implemented in Haskell, based on the UCPOP paper.