Temporal logic programming with Clojure core.logic | Hacker News Reader