io-lib/it.unibo.tuprolog.solve.libs.io.primitives/Close2

Close2

object Close2 : BinaryRelation.NonBacktrackable<ExecutionContext>

Registered for ISO conformance, but not implemented: close/2 (close/1 plus an options list, e.g. force(true)) always raises a it.unibo.tuprolog.solve.exception.error.SystemError; use Close1 instead.

Throws

it.unibo.tuprolog.solve.exception.error.SystemError

unconditionally.

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

val functor: String

override val implementation: Primitive

val signature: Signature