Logic, Programming and Prolog

Name: Logic, Programming and Prolog
Availability: OutOfStock
ISBN: 9780471959960

ISBN-10: 0471959960

ISBN-13: 9780471959960

Edition: 2nd 1995

Authors: Ulf Nilsson, Jan Maluszynski

List price: $75.00

30 day, 100% satisfaction guarantee!

Out of stock

We're sorry. This item is currently unavailable.

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

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.

Book details

List price: $75.00
Edition: 2nd
Copyright year: 1995
Publisher: John Wiley & Sons, Incorporated
Publication date: 8/30/1995
Binding: Paperback
Pages: 296
Size: 6.75" wide x 9.75" long x 1.00" tall
Weight: 1.232
Language: English



Preface



Preliminaries



Definite Logic Programs



SLD-Resolution



Negation in Logic Programming



Towards Prolog: Cut and Arithmetic



Logic and Databases



Programming with Recursive Data Structures



Amalgamating Object- and Meta-language



Logic and Expert Systems



Logic and Grammars



Searching in a State-space



Logic Programming and Concurrency



Logic Programs with Equality



Constraint Logic Programming



Query-answering in Deductive Databases


A Bibliographical Notes


B Basic Set Theory


C Answers to Selected Exercises


Bibliography


Index