My super simple Prolog interpreter written using haskell.