top of page


Public·13 members
Andres Faria
Andres Faria

Logic And Prolog Programming By Saroj Kaushik Pdf Download

Logic and Prolog Programming by Saroj Kaushik: A Review

Logic and Prolog Programming is a book written by Saroj Kaushik, a professor of computer science and engineering at Indian Institute of Technology Delhi. The book was published by New Age International in 2007 and covers both propositional and predicate logic, as well as the features and techniques of Prolog programming language. The book is intended for undergraduate and postgraduate students pursuing courses on artificial intelligence and expert systems.

Download Zip:

Overview of the Book

The book consists of 11 chapters, which are organized into three parts. The first part introduces the basic concepts and rules of logic, such as syntax, semantics, validity, inconsistency, resolution, and unification. The second part presents logic programming and its evolution, as well as the syntax and semantics of Prolog. The third part explains various features of Prolog, such as control primitives, backtracking, recursion, lists, arithmetic operations, input/output, database manipulation, and meta-level programming. The book also includes a large number of solved examples to illustrate the concepts and techniques. Review exercises are given at the end of each chapter to test the understanding of the readers.

Strengths of the Book

The book has several strengths that make it a useful resource for learning logic and Prolog programming. Some of them are:

  • The book provides a systematic exposition of formal logic and its applications in logic programming. It explains the various approaches towards validity, inconsistency, and problem solving using logic.

  • The book introduces Prolog as a declarative programming language that is based on logic. It explains how Prolog programs can be written using facts, rules, queries, and variables. It also shows how Prolog can handle complex data structures and perform symbolic computations.

  • The book covers both the theoretical and practical aspects of Prolog programming. It discusses the implementation issues of Prolog, such as memory management, indexing, compilation, and debugging. It also demonstrates how Prolog can be used to implement various artificial intelligence techniques, such as search algorithms, knowledge representation, natural language processing, expert systems, and neural networks.

  • The book uses a clear and concise language that is easy to follow. It uses consistent notation and terminology throughout the book. It also provides relevant examples and exercises to enhance the learning experience.

Limitations of the Book

The book also has some limitations that may affect its suitability for some readers. Some of them are:

  • The book assumes that the readers have some prior knowledge of discrete mathematics and programming concepts. It does not provide much background or explanation for some topics, such as sets, relations, functions, graphs, trees, algorithms, data structures, etc.

  • The book focuses mainly on the standard version of Prolog (ISO Prolog). It does not cover some of the extensions or variations of Prolog that are available in different implementations or platforms. For example, it does not discuss the features or libraries of SWI-Prolog, which is one of the most popular and widely used versions of Prolog.

  • The book was published in 2007 and may not reflect some of the recent developments or trends in logic programming or artificial intelligence. For example, it does not mention some of the newer applications or paradigms of logic programming, such as answer set programming, constraint logic programming, or probabilistic logic programming.


Logic and Prolog Programming by Saroj Kaushik is a comprehensive and informative book that covers both the theory and practice of logic and Prolog programming. It is suitable for students who want to learn the fundamentals of logic programming and its applications in artificial intelligence. However, it may not be sufficient for readers who want to explore more advanced topics or features of logic programming or Prolog.

If you are interested in reading this book, you can find it online at [Google Books]. However, if you are looking for a PDF download of this book, you may be disappointed. As far as I know, there is no legal or free way to download this book in PDF format. You may have to buy a hard copy or an e-book version from [New Age International] or other online retailers.

I hope you found this article helpful and informative. If you have any questions or comments, please feel free to share them with me. Thank you for reading!


Welcome to the group! You can connect with other members, ge...


Group Page: Groups_SingleGroup
bottom of page