…in which I teach myself how Prolog works by writing one - View it on GitHub