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

Atom

data class Atom(val name: String) : Value

An atom, as a or 'Hello world'

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