Introduction to logic programming with Prolog

https://www.matchilling.com/introduction-to-logic-programming-with-prolog/