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

toLogicError

open override 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.