https://filesoo.com/product/1527/the-art-of-prolog-advanced-programming-techniques