https://sensecentral.com/prolog-programming/