Pure efficient “if” in Prolog | Hacker News Reader