This is the "engine" of Prolog.
Logic and Prolog Programming by Saroj Kaushik (published by New Age International) is a well-regarded textbook primarily used in undergraduate and postgraduate computer science courses in India and abroad. It bridges two fundamental domains: mathematical logic (the theoretical foundation) and Prolog programming (its practical realization in the field of artificial intelligence and computational logic).
The book is designed for students with little or no prior exposure to logic programming. It starts from propositional and predicate logic and systematically moves to Prolog syntax, data structures, control mechanisms, and advanced topics like negation, cuts, and meta-programming.
Course Materials and Lecture Notes: Universities often publish course materials online, including lecture notes and slides, which can cover topics like logic and Prolog programming. logic and prolog programming by saroj kaushik pdf free
Open-source and Educational Websites: Websites like GeeksforGeeks, Tutorialspoint, or Stack Overflow have sections dedicated to programming languages, including Prolog.
Since I cannot provide a PDF, here are legitimate alternatives:
Google Books preview
Shodhganga / NDL India
Used book stores
Institutional access through Springer/ScienceDirect – Not applicable, as this book is from New Age International (rarely on academic journal platforms). This is the "engine" of Prolog
Author’s own materials
Standard textbooks, including Kaushik's, begin by distinguishing Logic Programming from traditional procedural programming.