core/it.unibo.tuprolog.argumentation.core.model.terms/TermValues

TermValues

The terms of tuProlog as the values of arg2p (Value) and as text, written with the operators of arg2p: the passage between the API of arg2p and tuProlog

Properties

operators

val operators: OperatorSet

The operators of the theories of arg2p, and the default ones

Functions

format

fun format(term: Term): String

term as Prolog text, written with the operators of arg2p

fun of(term: Term): Value

The value of term

term

fun term(text: String, operators: OperatorSet = this.operators): Term

The term written in text, a goal or a value (its final dot left out), read with operators