BibTeX
@TECHREPORT{Swift94efficientevaluation,
author = {Terrance Swift},
title = {Efficient Evaluation of Normal Logic Programs},
institution = {},
year = {1994}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
An accident of implementation may be responsible for the fact that Logic Programming, Deductive Databases and Non-Monotonic Reasoning are different subfields. Logic Programming views logic as a programming language --- usually through Prolog or an extension of Prolog. The Deductive Database community regards logic as a database language, often using a variant of magic sets as a basis for implementation. Finally the field of Non-Monotonic Reasoning studies non-classical logics of interest to Artificial Intelligence or other applications. However, there are currently few engines powerful enough to execute practical programs in Non-Monotonic Reasoning. Tabling methods have been formulated recently that have the potential to unify these subfields. This thesis explores how to efficiently implement one such meth...
