Logic Programming and Prolog
What sets this book apart from other books on logic programming is its scope. The authors strike a delicate balance between a clear and authoritative theoretical treatment and a practical problem-solving approach to its applications. This edition presents major new developments in an ever-changing field and covers topics such as concurrent logic programming and balances and constraints.
Logic, programming and Prolog PDF
Author(s): Ulf Nilsson, Jan Mauszynski
Publisher: Wiley, Year: 1995
Logic, Programming and Prolog, 2nd Edition