argumentBuilder

Graph · Kotlin object ArgumentBuilderModule · library prolog.argumentation.graph.arguments

The arguments of a theory (module argumentBuilder): every argument its premises and rules make, built round after round from the conclusions of the previous one, and saved in the context with their supports (see the module graphStore).

• Calls: argument, graphStore, parser, utils
• Called by: ruleGraph

buildArguments/0

buildArguments

The arguments made of a premise, those of the rules with no premise to support, and then, round after round, those of the rules using a conclusion of the previous round.