Predicate Logic as a programming language [pdf] | Hacker News Reader