oop-lib/it.unibo.tuprolog.solve.libs.oop.exceptions/OopException/toLogicError

toLogicError

abstract fun toLogicError(context: ExecutionContext, signature: Signature): LogicError

Converts this exception into the LogicError that should actually be thrown by context's solver, while executing signature.