The publication of this first issue of the Theory and Practice of Logic Programming
(TPLP) is an important milestone in the history of logic programming. The field of
logic programming started in the early 1970s and is based on the seminal work of J.
Alan Robinson who developed the well-known Robinson resolution principle that
revolutioned the field of automated reasoning and upon which logic programming is
based. The field of logic programming was created by Alain Colmerauer and Robert
Kowalski in the early 1970s
Robert Kowalski modified the resolution principle by limiting it to Horn clauses and by extending it to a formalism amenable for computing. His work with van Emden provided semantic foundations to this approach to programming. The importance of logic programming is that it is a declarative rather than a procedural programming language.
Email your librarian or administrator to recommend adding this journal to your organisation's collection.