solve/it.unibo.tuprolog.solve.exception.error/DomainError/Companion/forTerm

forTerm

fun forTerm(context: ExecutionContext, expectedDomain: DomainError.Expected, actualValue: Term): DomainError

Creates a DomainError reporting that actualValue is not a valid member of expectedDomain.