io-lib/it.unibo.tuprolog.solve.libs.io.primitives/IOPrimitiveUtils/ensureTermIsValidInfo

ensureTermIsValidInfo

fun <C : ExecutionContext> Solve.Request<C>.ensureTermIsValidInfo(term: Term): Term

Ensures term is one of the read_term/2,3 info shapes (variables(_), variable_names(_), singletons(_)).

Throws

(read_option) if term is none of the above.