A negative rule premise interpreted through a specified rule semantics rather than as an independently asserted classical negative fact. Stable model semantics evaluates such premises through a candidate interpretation and its stable model reduct.
Rule evaluation that repeatedly adds consequences of premises already known to hold. Positive Datalog evaluation computes its least Herbrand model in this way.
Goal-directed rule evaluation that replaces a goal by premises of a matching rule. Shared variables require consistent answer first-order substitutions across the premises.
A function-free rule language based on definite first-order Horn clauses, normally with safety conditions on rule variables. Positive Datalog has a least Herbrand model obtained by forward chaining.
Datalog allowing disjunctions of positive atoms in rule heads. A satisfiable program can have incomparable minimal Herbrand models and no least Herbrand model.
Datalog with negative body premises. Its meaning depends on the specified semantics, such as stable model semantics or evaluation of a stratified Datalog program.
A Datalog with negation program whose predicates can be assigned levels so that positive premises do not exceed their head's level and negative premises have strictly lower levels. Finite programs of this form can be evaluated stratum by stratum and have a unique stable model.
A semantics in which an interpretation must equal the least Herbrand model of its own stable model reduct. Some programs have no stable model, and others have several.
A consequence holds skeptically if it is true in every admitted model, in particular every stable model when using stable model semantics. Exhibiting one supporting stable model establishes only existence of support, not skeptical entailment.
Ground the rules, delete every rule having a negative body atom true in the candidate , and remove all remaining negative premises. The result is a positive program whose least Herbrand model is compared with .
A Herbrand interpretation equal to the least Herbrand model of the positive reduct obtained relative to that interpretation.
Articles by others on the same topic
Logic programming is a programming paradigm that is based on formal logic. In this paradigm, programs are expressed in terms of relations, represented as facts and rules, rather than through imperative commands that explicitly detail a sequence of operations. The central concept in logic programming is that of a logical statement, which can be expressed in terms of predicates and logical connectives.