**Logic, Programming and Prolog**

by Ulf Nilsson, Jan Mauszynski

**Publisher**: John Wiley & Sons Inc 1995**ISBN/ASIN**: 0471959960**ISBN-13**: 9780471959960**Number of pages**: 296

**Description**:

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.

Download or read it online for free here:

**Download link**

(1.9MB, PDF)

## Similar books

**Prolog Programming**

by

**Roman Bartak**

Prolog is a programming language with precise operational meaning that borrows its basic concepts from logic programming. This text is an introduction to logic programming and Prolog for beginners but it also covers some advanced topics.

(

**12937**views)

**The First 10 Prolog Programming Contests**

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.

(

**12168**views)

**An Introduction to Logic Programming through Prolog**

by

**Michael Spivey**-

**Prentice Hall**

Using theory as a foundation for practical programming, this text presents the theory of logic programming with clear proofs and implementation techniques. It covers logical theory, programming, and the structure of a simple Prolog implementation.

(

**14169**views)

**Simply Logical: Intelligent Reasoning by Example**

by

**Peter Flach**-

**John Wiley**

An introduction to Prolog programming for artificial intelligence covering both basic and advanced AI material. A unique advantage to this work is the combination of AI, Prolog and Logic. Each technique is accompanied by a program implementing it.

(

**7906**views)