Constrained Traversal in Prolog | Hacker News Reader