There is also LogicT: http://hackage.haskell.org/package/logict http://hackage.haskell.org/package/logict Since you'll eventually need some business logic, I d

There is also LogicT: http://hackage.haskell.org/package/logict http://hackage.haskell.org/package/logict Since you'll eventually need some business logic, I don't see much point in Prolog either nowadays. Prolog-like code is a tiny part of your app, no need for a dedicated syntax. Do-notation is sufficient.