**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

**Applications of Prolog**

by

**Attila Csenki**-

**BookBoon**

In this volume the author discusses some areas where Prolog can be fruitfully employed. The book comprises four chapters: Enigma 1225: Rows are Columns; Blind Search; Informed Search; Text Processing. There are 54 exercises in this book.

(

**18653**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.

(

**13237**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.

(

**9099**views)

**Natural Language Processing Techniques in Prolog**

by

**Patrick Blackburn, Kristina Striegnitz**-

**Union College**

Contents: Finite State Automata; Finite State Parsers and Transducers; Finite State Methods in Natural Language Processing; Recursive Transition Networks (RTNs); RTN transducers and ATNs; Definite Clause Grammars; Bottom Up, Top Down Parsing; etc.

(

**8508**views)