logic-programming Mathematical Logic for Computer Science Introduction to Logic Programming with Prolog https://www.matchilling.com/introduction-to-logic-programming-with-prolog/ Books RIP https://riptutorial.com/Download/prolog-language.pdf