readme prolog -> prolog & haskell