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

Variable

data class Variable(val name: String) : Value

A variable, by its name

Constructors

constructor(name: String)

Properties

open override val kind: String

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

val name: String

Functions

open override fun toString(): String

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