rule
Data · Kotlin object RuleModule · library prolog.argumentation.data.rule
The terms of the rules and premises of a theory as the parser converts them (module rule): a clause
rl(Conclusion) :- [Id, Premises, Conclusion] for a rule, Premises a conjunction, and
rl(Conclusion) :- [Id, Conclusion] for a premise, kept in the context by their conclusion. Kotlin builds them
through RuleTerm.rule and RuleTerm.premise.
- Called by: parser
| Predicate | Description |
|---|---|
rule/5 | Head :- Body is the clause of the rule Id, concluding Conclusion from Premises (a conjunction) |
premise/4 | Head :- Body is the clause of the premise Id, concluding Conclusion |
byConclusion/2 | Head is the head of the clauses of the rules and premises concluding Conclusion |
rule/5
rule(?Id, ?Premises, ?Conclusion, ?Head, ?Body)Head :- Body is the clause of the rule Id, concluding Conclusion from Premises (a conjunction).
premise/4
premise(?Id, ?Conclusion, ?Head, ?Body)Head :- Body is the clause of the premise Id, concluding Conclusion.
byConclusion/2
byConclusion(?Conclusion, ?Head)Head is the head of the clauses of the rules and premises concluding Conclusion.