Logic, Programming and Prolog
by Ulf Nilsson, Jan Mauszynski
Publisher: John Wiley & Sons Inc 1995
Number of pages: 296
What sets this book apart from others on logic programming is the breadth of its coverage. The authors have achieved a fine balance between a clear and authoritative treatment of the theory and a practical, problem-solving approach to its applications. This edition introduces major new developments in a continually evolving field and includes such topics as concurrency and equational and constraint logic programming.
Home page url
Download or read it online for free here:
by J. R. Fisher - California State Polytechnic University, Pomona
Prolog is a logical and a declarative programming language. This tutorial is intended to help learn the essential, basic concepts of Prolog. The sample programs have been chosen to promote the use of Prolog in an artificial intelligence course.
by Leon S. Sterling, Ehud Y. Shapiro - The MIT Press
Hitherto, knowledge of how to use Prolog for serious programming has largely been communicated by word of mouth. This textbook sets down and explains for the first time in an accessible form the deeper principles and techniques of Prolog programming.
by Markus Triska - metalevel.at
The goal of this material is to bridge the gap between the great Prolog textbooks of the past and the language as it currently is, several decades after these books were written. You will see that many limitations of the past are no longer relevant.
by Bart Demoen, Phuong-Lan Nguyen, Tom Schrijvers, Remko Troncon
This book shows solutions to problems that were in the first 10 Prolog Programming Contests. The solutions could have been constructed during the contest under time pressure, and so you will find many solutions using the generate and test strategy.