Show HN: I made a demo of my Prolog-successor. Try it please