A ZIP-style Prolog VM for trilog | Hacker News Reader