A correct logic programming computation of default logic extensions (Q679244)

The main contribution of this paper is to give an implementation of a subset of default logic into (normal) logic programs with standard operational semantics (SLDNF-resolution). First, a translation of a class of default theories into logic programs is discussed and then it is shown that the answer substitutions computed by such a logic program correspond to the extensions of the original default theory.