Deductive Databases and Logic Programming

Logic programming is an excellent platform for implementing declarative rule-based systems in artificial intelligence (AI). It is also well-suited for mediating between declarative tools such as relational or deductive databases, semi-structured databases (XML), and semantic web databases (based on RDF or OWL). Often, domain-specific languages are used in expert systems based on user-defined infix operators. For the evaluation of expert rule bases, the declarative bottom-up computation of Datalog known from deductive databases can be complemented with Prolog’s top-down evaluation. We will review some related work on logic programming and deductive databases and describe some tools with examples for declarative logic programming in Prolog and Datalog for information systems in AI that have been implemented within the declarative toolkit Declare.