: For free resources:

: Lecture notes and slides by Saroj Kaushik covering similar logic programming topics are sometimes hosted on institutional repositories, such as About the Author Saroj Kaushik

: In-depth coverage of Prolog features, control primitives, and meta-level programming Practical Application

The book is reasonably priced (especially older editions) and widely available secondhand. If you absolutely cannot pay, use the free resources listed above (especially Learn Prolog Now! ), which cover 90% of Kaushik’s content in a more interactive style.

The book is structured to guide readers from the basic principles of mathematical logic to the development of sophisticated AI applications.