interpreter
Entry points · Kotlin object InterpreterModule · library prolog.argumentation.meta.crossjustice
A meta-interpreter tracing the facts a proof relies on (module interpreter), written for the CrossJustice project:
the facts of the user, user_fact(Fact), a goal is proved with.
| Predicate | Description |
|---|---|
with_facts_and_length/3 | Goal is proved, Facts being the facts of the user its proof relies on (user_fact(Fact)), and Length their number |
recover_facts/2 | Facts are the facts of the user in Proof, as solve/2 gives it |
solve/2 | Goal is proved, Proof being the goals its proof goes through, nested as the clauses used |
is_list/1 | Term is a list |
fetch_argument_facts/2 | Facts are the facts of the user supporting the argument for Conclusion, from argument/1 and support/2 facts on arguments written as [Rules, TopRule, Conclusion] |
with_facts_and_length/3
with_facts_and_length(+Goal, -Facts, -Length)Goal is proved, Facts being the facts of the user its proof relies on (user_fact(Fact)), and Length their number.
recover_facts/2
recover_facts(+Proof, -Facts)Facts are the facts of the user in Proof, as solve/2 gives it.
solve/2
solve(+Goal, -Proof)Goal is proved, Proof being the goals its proof goes through, nested as the clauses used.
is_list/1
is_list(?Term)Term is a list.
fetch_argument_facts/2
fetch_argument_facts(+Conclusion, -Facts)Facts are the facts of the user supporting the argument for Conclusion, from argument/1 and support/2 facts on arguments written as [Rules, TopRule, Conclusion].