# Principles of Logic and Logic Programming

**By**

- G. Metakides, Commission of the European Communities, Brussels, Belgium
- A. Nerode, Cornell University, Mathematical Sciences Institute, Ithaca, NY, USA

### Book information

- Published: June 1996
- Imprint: NORTH-HOLLAND
- ISBN: 978-0-444-81644-3

### Reviews

With a title somehow restrictive and possibly misleading, a lot more being there than just principles, the book actually covers both fields. It does so in a manner likely to satisfy all those interested in artificial intelligence, not only its intended readership i.e. students, those who utilize Logic Programming without having any particular theoretical background knowledge in Logic and those simply interested in Logic and its applications in Logic Programming

.

This book cuts no separate edges: instead of being juxtaposed, the two fields permeate each other in an almost osmotic way. Logic entirely retrieves its Aristotelian characteristic of serving as an &ogr;&rgr;&ggr;&agr;&ngr;&ogr;&ngr;

Laying on the solid foundation of an conspicuous teaching experience, the authors interlace the more attractive semantics of the theory of models with the arid accuracy of axiomatic derivation.

Studies in Informatics and Control, 1997