Introduction to Logic Programming

This is an introduction to Logic Programming theory, current technology, and popular applications. It is an innovative, model-theoretic approach to logic programming.

Logic Programming is a style of programming in which programs take the form of sets of sentences in the language of Symbolic Logic. Over the years, there has been growing interest in Logic Programming due to applications in deductive ...