statementTerm

Data · Kotlin object StatementTermModule · library prolog.argumentation.data.statement

The term of a statement (module statementTerm, as statement is the statement labelling of that name): [Claim], the list of the term claimed, as the conclusions of the arguments and the statements labelled are written. Kotlin reads and builds it through StatementTerm.claim and StatementTerm.of.

new/2

new(?Claim, ?Statement)

Statement is the statement of Claim.