Deductive Computing over Knowledge Bases: Prolog and Datalog

Journal of Knowledge Structures and Systems 5 (1):1-62 (2024)
  Copy   BIBTEX


Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes deductive programming.

Author's Profile

Luis M. Augusto
Independent Scientist


Added to PP

45 (#95,108)

6 months
45 (#91,051)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?