Value

data class Value: Result, TermConvertible

Fields

Name Description
val value: Any?

Constructors

<init>

constructor(value: Any?)

Parameters

Name Description
value: Any?

Methods

toTerm

fun toTerm(): Term

Converts this instance to a Prolog Term

ReturnValue

Name Description
Term

asObjectRef

fun asObjectRef(): ObjectRef

ReturnValue

Name Description
ObjectRef

isValue

fun isValue(): Boolean

ReturnValue

Name Description
Boolean

asValue

fun asValue(): Value

ReturnValue

Name Description
Value