You can already have Prolog embedded in Haskell, using LogicT. Here is the paper by Kiselyov: http://okmij.org/ftp/papers/LogicT.pdf http://okmij.org/ftp/paper

You can already have Prolog embedded in Haskell, using LogicT. Here is the paper by Kiselyov: http://okmij.org/ftp/papers/LogicT.pdf http://okmij.org/ftp/papers/LogicT.pdf