2026-07-28T22:30:21Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:26711 2026-07-28T09:32:41Z ddc:004 open_access

Deductive Databases and Logic Programming Seipel, Dietmar Abreu, Salvador Deductive Databases Knowledge Bases 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Dietmar Seipel and Salvador Abreu 2026 Is Part Of OASIcs, Volume 144, 15th Symposium on Languages, Applications and Technologies (SLATE 2026) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.SLATE.2026.13 urn:nbn:de:0030-drops-267118 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2026.13 eng https://creativecommons.org/licenses/by/4.0/legalcode