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

AtEndOfStream0

object AtEndOfStream0 : PredicateWithoutArguments.Predicative<ExecutionContext>

Implements ISO's at_end_of_stream/0: succeeds iff the current input stream (see IOPrimitiveUtils.currentInputChannel) is closed or exhausted.

?- at_end_of_stream.

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

val functor: String

override val implementation: Primitive

val signature: Signature