arg2p

Entry points · Kotlin object Arg2pModule · library prolog.argumentation.interface

The entry points of arg2p (module arg2p, loaded by every solver): the labels of the statements of the theory, of the whole graph or of a query.

Predicate	Description
`argTuProlog/0`	The solver is an arg2p one
`solve/0`	The labelling of the theory, in the context (buildLabelSets/0, without printing it)
`solve/1`	answerQuery/1
`solve/2`	answerQuery/2
`buildLabelSets/2`	The statements and the arguments of the theory labelled IN, OUT and UND, as [In, Out, Und] lists
`buildLabelSets/3`	The statements of the theory labelled IN, OUT and UND
`buildLabelSets/0`	The labelling of the theory, printed: the graph, the labels of the arguments and those of the statements
`answerQuery/4`	The statements unifying with Goal labelled IN, OUT and UND: with queryMode only the part of the graph they depend on is built
`answerQuery/2`	The labels of the statements unifying with Goal, as in(S), out(S) and und(S) terms
`answerQuery/1`	Goal is a statement labelled IN
`buildLabelSetsSilent/0`	The labelling of the theory, in the context

argTuProlog

The solver is an arg2p one.

solve

The labelling of the theory, in the context (buildLabelSets/0, without printing it).

solve(+Query)

answerQuery/1.

solve(+Query, -Result)

answerQuery/2.

buildLabelSets(-StatementLabels, -ArgumentLabels)

The statements and the arguments of the theory labelled IN, OUT and UND, as [In, Out, Und] lists.

buildLabelSets(-StatIn, -StatOut, -StatUnd)

The statements of the theory labelled IN, OUT and UND.

buildLabelSets

The labelling of the theory, printed: the graph, the labels of the arguments and those of the statements.

answerQuery(+Goal, -Yes, -No, -Und)

The statements unifying with Goal labelled IN, OUT and UND: with queryMode only the part of the graph they depend on is built.

answerQuery(+Goal, -Result)

The labels of the statements unifying with Goal, as in(S), out(S) and und(S) terms.

answerQuery(+Goal)

Goal is a statement labelled IN.

buildLabelSetsSilent

The labelling of the theory, in the context.