forFlagValues
fun forFlagValues(context: ExecutionContext, procedure: Signature, flagValues: Iterable<Term>, actualValue: Term, index: Int? = null): DomainError
Creates a DomainError reporting that the (optionally index-th) argument of procedure should have been one of flagValues, but actualValue was provided instead. Used when validating a Prolog flag value against its admissible set (see it.unibo.tuprolog.solve.flags.NotableFlag).