Foundations of Logic Programming

The second edition expands significantly on the first, reflecting the rapid growth in logic programming, particularly in database applications. It introduces new terminology, such as "program statements" and "normal programs," enhancing clarity and understanding. While the edition includes about 70% more material, it acknowledges the vastness of the field, indicating that not all topics can be covered by a single author. The author aims to address a broader class of programs and improve earlier concepts to better align with current developments in the discipline.