core/it.unibo.tuprolog.argumentation/Value

Value

sealed class Value

A Prolog term, as arg2p gives it (a statement, the binding of a variable, ...) and takes it: an Atom, an Integer, a Real, a Variable, a List or a compound term (Struct). A value is written as arg2p writes it, with its operators (-a, r1 : [a] => b); parse reads it back.

Inheritors

Types

data class Atom(val name: String) : Value

An atom, as a or 'Hello world'

object Companion

data class Integer(val value: Int) : Value

An integer (one beyond the range of 32 bits is a Real)

data class List(val items: ValueList) : Value

A list, as [a, b] ([] the empty one)

data class Real(val value: Double) : Value

A floating-point number

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

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

data class Variable(val name: String) : Value

A variable, by its name

Properties

abstract 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