This book deals with the integration of logic programming and databases to generate new
types of systems, which extend the frontiers of computer science in an important direction …

This paper surveys and compares various strategies for processing logic queries in
relational databases. The survey and comparison is limited to the case of Horn Clauses with …

This database theory book provides a focused presentation of the core material on relational
databases, and presents a number of advanced topics in a unified framework. Some of the …

Datalog is a database query language based on the logic programming paradigm; it has
been designed and intensively studied over the last five years. We present the syntax and …

Several methods for implementing database queries expressed as logical rules are given
and they are compared for efficiency. One method, called “magic sets,” is a general …

This paper considers the efficient evaluation of recursive queries expressed using Horn
Clauses. We define sideways information passing formally and show how a query …

A general logic program is a set of rules that have both positive and negative subgoals. We
define negation in general logic programs as finite failure, but we limit proof attempts to tight …

We examine methods of implementing queries about relational databases in the case where
these queries are expressed in first-order logic as a collection of Horn clauses. Because …

Datalog programs, ie, Prolog programs without function symbols, are considered It is
assumed that a variable appearing in the head of a rule must also appear in the body of the …

Abstract SNePS, the Semantic Network Processing System, is a semantic network language
with facilities for building semantic networks to represent virtually any kind of information …