Embedding Prolog in Haskell (comments from 2012) | Hacker News Reader