Prolog in Haskell · HackerTrans