Simple pseudo-Prolog interpreter in Haskell