Ordered Logic Programming with Sets
Published in Journal of Logic and Computation • Jan 1, 1993
NobleIDNI0P52W58R93S82
Authors:,
Nicola Leone
Pasquale Rullo
Abstract
Ordered logic programming (OLP) is an elegant, yet powerful extension of logic programming with the object-oriented notions of inheritance and exceptions. The latter are expressed by allowing rules with negated heads. The capability of expressing nonmonotonic reasoning is one of the major features o...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!