… the ability to use a logic programming style for expressing … The confluence between logic
programming and databases … Logic programming and databases have evolved in parallel …

… We propose a new declarative semantics for logic programs with nega— tion. Its
formulation is quite simple; at the same time, it is more general than the iterated fixed point …

… , and open new application areas for which logic programming was not always best
suited. However, CLP languages are sometimes not expressive enough from an operational …

The driving force behind logic programming is the idea that a single formalism suffices for
both logic and computation, and that logic subsumes computation. But logic, as this series of …

… programming systems to reason with and about constraints. Taking a F logic programming
approach, we define a cluss of program… From a conceptual point of view, CLP programs are …

… programming and datalog, but we also mention general logic programming with function …
Next to classical results on plain logic programming (pure Horn clause programs), more recent …

… for three logical formalisms: propositional logic, first-order logic, and the socalled Horn-fragment
of first-order logic, in the context of which it is called (definite) logic programming. …

… Logic Programming is used to describe this research area, formed at the intersection of Logic
Programming … Ideally a uniform theory, such as that behind Logic Programming will emerge…

Inductive logic programming is a new research area emerging at present. Whilst inheriting
various positive characteristics of the parent subjects of logic programming an machine …

… ) and exploring novel logic induction frameworks (such as brave … The revised papers were
then re-reviewed by the program … Thanks go as well to the diligent program committee for their …