Abstract
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.