Logic, Programming and Prolog (2nd edition)

Appeared in Volume 8/4, November 1995

Ulf Nilsson and Jan Maluszynski

Chapter Headings

Part I. Foundations

Preliminaries; Definite Logic Programs; SLD-Resolution; Negation in Logic Programming; Towards Prolog: Cut and Arithmetic

Part II. Programming in Logic

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

Part III. Alternative Logic Programming Schemes

Logic Programming and Concurrency; Logic Programs with Equality; Constraint Logic Programming; Query-answering in Deductive Databases

Appendicies

Bibliographical Notes; Basic Set Theory; Answers to Selected Exercises

ISBN: 0 471 95996 0 (pr)

September 1995, GBP24.95

John Wiley & Sons

Baffins Lane

Chichester, West Sussex PO19 1UD, UK

Tel: +44 1243 779 777

For more information, contact:

Ulf Nilsson
Dept. of Computer and Information Science
Linkoping Univ.
S-581 83 Linkoping, Sweden
Email: ulfni@ida.liu.se
URL: http://www.ida.liu.se/~logpro/