Introduction to Logic Programming (Revised and Extended Version)

摘要

The aim of the article is to provide a self-contained introduction to the theory of logic programming. In the presentation the authors try to shed light on the causal dependence between various concepts and notions. Throughout the paper the authors attempt to adhere to the notation of Lloyd, the book which obviously influenced the presentation. This will hopefully further contribute to the standardization of the notation and terminology in the domain.