Looking for a Haskell expert; also must know about Prologs

Related categories: Prolog / Haskell