oop-lib/it.unibo.tuprolog.solve.libs.oop.primitives/NullRef

NullRef

object NullRef : TypeTester<ExecutionContext>

null_ref(?Term): succeeds iff Term is it.unibo.tuprolog.solve.libs.oop.ObjectRef.NULL.

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

val functor: String

override val implementation: Primitive

val signature: Signature

Functions

open override fun testType(term: Term): Boolean