https://ebookggmum.blogspot.com/2021/09/download-logic-programming-with-prolog.html