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

by

**Attila Csenki**-

**BookBoon**

This is the first of two volumes by the author on the programming language Prolog and its applications. In the first volume you can read about the accumulator technique, difference lists, program manipulations and exploratory code development.

(

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

(

**6967**views)

**prolog :- tutorial**

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.

(

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

(

**13621**views)