solve/it.unibo.tuprolog.solve.exception.error/ExistenceError/Companion/of

of

fun of(context: ExecutionContext, expectedType: ExistenceError.ObjectType, culprit: Term, message: String): ExistenceError

Creates an ExistenceError reporting that no expectedType named/identified by culprit exists.