Series: Studies in Computer Science and Artificial Intelligence

Principles of Logic and Logic Programming

Most recent volume

Volume 13. Principles of Logic and Logic Programming

Published: 13th June 1996 Editors: G. Metakides A. Nerode
Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to Logic Programming are analysed.

With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only for arithmetical computation, but also for symbolic computation. Hence, the first arithmetical computation programs, and the first programs created to answer elementary questions and prove simple theorems, were written simultaneously. The basic steps towards a general method based on Logic, were accomplished in 1965 by Robinson and later by Kowalski and Colmerauer who made use of Logic directly as a Logic Programming language.

Each chapter includes solved as well as unsolved exercises provided to help the reader assimilate the corresponding topics. The solved exercises demonstrate how to work methodically, whereas the unsolved exercises aim to stimulate the reader's personal initiative. The contents of the book are self-contained; only an elementary knowledge of analysis is required. Thus, it can be used by students in every academic year, as simply reading material, or in the context of a course. It can also be used by those who utilize Logic Programming without having any particular theoretical background knowledge of Logic, or by those simply interested in Logic and its applications in Logic Programming.

Additional volumes

Volume 12. Problem Solving: Methods, Programming and Future Concepts

Published: 28th November 1995 Editors: O.V. German D.V. Ofitserov

Volume 11. Logic Programming: Formal Methods and Practical Applications

Published: 20th December 1994 Editors: C. Beierle L. Pl├╝mer

Volume 10. Tree Automata and Languages

Published: 31st July 1992 Editors: M. Nivat A. Podelski

Volume 2. Evidence Theory and its Applications

Published: 31st July 1992 Editors: J.W. Guan D.A. Bell

Theory and Applications of Problem Solving

Published: 21st July 1992 Editors: B. Zhang L. Zhang

Volume 1. Evidence Theory and its Applications

Published: 22nd August 1991 Editors: D.A. Bell J.W. Guan

Formal Techniques in Artificial Intelligence

Published: 20th February 1990 Editors: R.B. Banerji

Volume 1. Topics in Expert System Design

Published: 1st January 1989 Editors: C. Tasso G. Guida

Computers and Languages

Published: 1st July 1988 Editors: A. Nijholt

Concurrency Control in Distributed Database Systems

Published: 1st May 1988 Editors: W. Cellary T. Morzy E. Gelenbe

The Ecology of Computation

Published: 1st March 1988 Editors: B.A. Huberman

Meta-Level Inference

Published: 1st January 1986 Editors: B. Silver