Package-level declarations

bpsNew(-Bps): the burdens of persuasion of the theory, its bp(...) facts, as abstractBp([...]) terms

extractId(+Rules, -Ids): strict(Id) for the identifier of each of Rules (lists starting with it)

prologAxioms(-Axioms): the Prolog facts of the theory with no identifier (see RuleAnnotations) as axioms, [Id, Fact], with prologStrictCompatibility on (none otherwise)

prologDefeasibleRules(-Rules): the Prolog clauses of the theory (Head :- Body) with an identifier (see RuleAnnotations) as defeasible rules, [Id, Body, Head], with prologStrictCompatibility on (none otherwise)

prologPremises(-Premises): the Prolog facts of the theory with an identifier (see RuleAnnotations) as defeasible premises, [Id, Fact], with prologStrictCompatibility on (none otherwise)

prologStrictRules(-Rules): the Prolog clauses of the theory (Head :- Body) with no identifier (see RuleAnnotations) as strict rules, [Id, Body, Head], with prologStrictCompatibility on (none otherwise)

ruleToClause(+Rules, -Clauses): the rules and premises of the parser ([Id, Body, Head], [Id, Head]) as the clauses of the module rule

ruleToClauseNatural(+Rules, -Clauses): as ruleToClause/2, with naturalTerms: the statements written as text are turned into terms, the words in upper case and in brackets becoming their arguments