A minimal probabilistic Prolog meta-interpreter | Hacker News Reader