label

Data · Kotlin object LabelModule · library prolog.argumentation.data.label

The terms of the labels (module label): an argument labelled IN, OUT or UND is in(Argument), out(Argument) or und(Argument), by its identifier inId(Id), outId(Id) or undId(Id) (the native labellings), and a statement statIn(Statement), statOut(Statement) or statUnd(Statement). A label is in, out or und. Kotlin builds them through LabelTerm.argument, LabelTerm.identifier and LabelTerm.statement.

• Called by: graphStore

label/1

label(?Label)

Label is a label: in, out or und.

argument/3

argument(?Label, ?Argument, ?Fact)

Fact labels Argument with Label.

identifier/3

identifier(?Label, ?Id, ?Fact)

Fact labels the argument with identifier Id with Label.

statement/3

statement(?Label, ?Statement, ?Fact)

Fact labels Statement with Label.