Document Open Access Logo

Deductive Databases and Logic Programming

Authors Dietmar Seipel , Salvador Abreu

PDF

File

Thumbnail PDF
PDF
OASIcs.SLATE.2026.13.pdf
  • Filesize: 1.02 MB
  • 12 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Theory of computation → Constraint and logic programming
  • Theory of computation → Logic and databases
Keywords
  • Deductive Databases
  • Knowledge Bases
  • Logic Programming

Metrics

Abstract

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.

Cite As Get BibTex

Dietmar Seipel and Salvador Abreu. Deductive Databases and Logic Programming. In 15th Symposium on Languages, Applications and Technologies (SLATE 2026). Open Access Series in Informatics (OASIcs), Volume 144, pp. 13:1-13:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/OASIcs.SLATE.2026.13

Author Details

Dietmar Seipel
  • University of Würzburg, Germany
Salvador Abreu
  • NOVA LINCS, University of Évora, Portugal

Funding

This work is supported in part by UID/04516/NOVA Laboratory for Computer Science and Informatics (NOVA LINCS) with the financial support of FCT.IP.

References

  1. Krzysztof R. Apt. Logic Programming. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, pages 493-574. Elsevier and MIT Press, 1990. URL: https://doi.org/10.1016/b978-0-444-88074-1.50015-9.
  2. Stefano Ceri, Georg Gottlob, and Letizia Tanca. Logic Programming and Databases. Surveys in computer science. Springer, 1990. URL: https://www.worldcat.org/oclc/20595273.
  3. E. F. Codd. A Relational Model of Data for Large Shared Data Banks. Commun. ACM, 13(6):377-387, 1970. URL: https://doi.org/10.1145/362384.362685.
  4. Alain Colmerauer, Henry Kanoui, R. Pasero, and P. Roussel. Un systeme de communication homme-machine en francais. Technical report, Groupe de Intelligence Artificielle Universitae de Aix-Marseille II, 1973. Google Scholar
  5. Vítor Santos Costa, Ricardo Rocha, and Luís Damas. The YAP Prolog system. Theory Pract. Log. Program., 12(1-2):5-34, 2012. URL: https://doi.org/10.1017/S1471068411000512.
  6. M. Fowler. Domain-Specific Languages. Addison-Wesley, 2011. Google Scholar
  7. Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, and Germán Puebla. An Overview of Ciao and its Design Philosophy. Theory Pract. Log. Program., 12(1-2):219-252, 2012. URL: https://doi.org/10.1017/S1471068411000457.
  8. Herve Gallaire and Jack Minker, editor. Logic and Data Bases. Plenum Press, 1978. Google Scholar
  9. Hervé Gallaire and Jack Minker and Jean-Marie Nicolas. Logic and Databases: A Deductive Approach. ACM Comput. Surv., 16(2):153-185, 1984. URL: https://doi.org/10.1145/356924.356929.
  10. Robert A. Kowalski. Predicate Logic as Programming Language. In Jack L. Rosenfeld, editor, Information Processing, Proceedings of the 6th IFIP Congress 1974, Stockholm, Sweden, August 5-10, 1974, pages 569-574. North-Holland, 1974. Google Scholar
  11. John W. Lloyd. Foundations of Logic Programming, 2nd Edition. Springer, 1987. URL: https://doi.org/10.1007/978-3-642-83189-8.
  12. Jorge Lobo, Jack Minker, and Arcot Rajasekar. Foundations of Disjunctive Logic Programming. Logic Programming. MIT Press, 1992. Google Scholar
  13. Jack Minker, editor. Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann, 1988. URL: https://doi.org/10.1016/c2013-0-07699-2.
  14. Jack Minker. Logic and Databases: A 20 Year Retrospective. In Dino Pedreschi and Carlo Zaniolo, editors, Logic in Databases, International Workshop LID'96, San Miniato, Italy, July 1-2, 1996, Proceedings, volume 1154 of Lecture Notes in Computer Science, pages 3-57. Springer, 1996. URL: https://doi.org/10.1007/BFb0031734.
  15. Jack Minker and Dietmar Seipel. Disjunctive Logic Programming: A Survey and Assessment. In Antonis C. Kakas and Fariba Sadri, editors, Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I, volume 2407 of Lecture Notes in Computer Science, pages 472-511. Springer, 2002. URL: https://doi.org/10.1007/3-540-45628-7_18.
  16. Jack Minker, Dietmar Seipel, and Carlo Zaniolo. Logic and Databases: A History of Deductive Databases. In Jörg H. Siekmann, editor, Computational Logic, volume 9 of Handbook of the History of Logic, pages 571-627. Elsevier, 2014. URL: https://doi.org/10.1016/B978-0-444-51624-4.50013-7.
  17. Vítor Nogueira and Salvador Abreu. Temporal Contextual Logic Programming. Electron. Notes Theor. Comput. Sci., 177:219-233, 2007. URL: https://doi.org/10.1016/j.entcs.2007.01.025.
  18. Raghu Ramakrishnan and Jeffrey D. Ullman. A Survey of Deductive Database Systems. J. Log. Program., 23(2):125-149, 1995. URL: https://doi.org/10.1016/0743-1066(94)00039-9.
  19. John Alan Robinson. A Machine-Oriented Logic Based on the Resolution Principle. J. ACM, 12(1):23-41, 1965. URL: https://doi.org/10.1145/321250.321253.
  20. Dietmar Seipel. Processing Xml-Documents in Prolog. In Proc. 17th Workshop on Logic Programming (WLP 2002), 2002. Google Scholar
  21. Dietmar Seipel. Knowledge Engineering for Hybrid Deductive Databases. In Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, WLP 2015 / WLP 2016 / WFLP 2016, volume 234 of EPTCS, pages 1-12, 2017. URL: https://doi.org/10.4204/EPTCS.234.1.
  22. Dietmar Seipel, Benjamin Förster, Magnus Liebl, Marcel Waleska, and Salvador Abreu. Querying Relational Databases with Speech-Recognition Driven by Contextual Knowledge. In Alberto Simões, Mario Marcelo Berón, and Filipe Portela, editors, 12th Symposium on Languages, Applications and Technologies, SLATE 2023, Vila do Conde, Portugal, June 26-28, 2023, OASIcs, pages 6:1-6:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. URL: https://doi.org/10.4230/OASIcs.SLATE.2023.6.
  23. Dietmar Seipel, Falco Nogatz, and Salvador Abreu. Domain-specific Languages in Prolog for Declarative Expert Knowledge in Rules and Ontologies. Comput. Lang. Syst. Struct., 51:102-117, 2018. URL: https://doi.org/10.1016/j.cl.2017.06.006.
  24. Dietmar Seipel, Daniel Weidner, and Salvador Abreu. Intelligent Query Answering with Contextual Knowledge for Relational Databases. In 10th Symposium on Languages, Applications and Technologies, SLATE, volume 94 of OASIcs, pages 16:1-16:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. URL: https://doi.org/10.4230/OASIcs.SLATE.2021.16.
  25. Terrance Swift and David Scott Warren. XSB: Extending Prolog with Tabled Logic Programming. CoRR, abs/1012.5123, 2010. URL: https://arxiv.org/abs/1012.5123.
  26. Jeffrey D. Ullman. Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press, 1989. Google Scholar
  27. Jeffrey D. Ullman. The Theory of Deductive Database Systems. In Intellectual Leverage: Thirty-Fifth IEEE Computer Society International Conference, Compcon Spring '90, San Francisco, California, USA, February 26 - March 2, 1992, Digest of Papers, pages 496-502. IEEE Computer Society, 1990. URL: https://doi.org/10.1109/CMPCON.1990.63730.
  28. Jan Wielemaker, Tom Schrijvers, Markus Triska, and Torbjörn Lager. SWI-Prolog. Theory Pract. Log. Program., 12(1-2):67-96, 2012. URL: https://doi.org/10.1017/S1471068411000494.
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact