How would you make a logic programming system? | Hacker News Reader