https://sry-newfile.blogspot.com/?book=0262192500The Art Of Prolog: Advanced Programming Techniques (Mit Press Series In Logic Programming)