https://ebookggmum.blogspot.com/2021/08/download-programming-in-prolog-using.html