core/it.unibo.tuprolog.argumentation/Value/Struct

Struct

data class Struct(val functor: String, val args: ValueList) : Value

A compound term, as f(a, b) or -a

Constructors

constructor(functor: String, args: ValueList)

Properties

val argArray: Array<Value>

The arguments of the term (an array in JavaScript)

val args: ValueList

val functor: String

open override val kind: String

What the value is: atom, integer, real, variable, list or struct

Functions

open override fun toString(): String

The value as Prolog text, written with the operators of arg2p