Что делает \+, означают в Прологе?

лично, я использую исключения для обработки проверки. это требует следующих шагов:

1. в Вашем выражении привязки данных, необходимо добавить "ValidatesOnException=True"
2. в Вас объект данных, с которым Вы связываете, необходимо добавить обработчик DependencyPropertyChanged, где Вы проверяете, выполняет ли новое значение Ваши условия - если не - Вы восстанавливаете к объектному старому значению (если Вам нужно к), и Вы выдаете исключение.
3. в Вашем управлении обрабатывают Вас по шаблону использование для отображения недопустимого значения в управлении, можно получить доступ к Ошибочному набору и отобразить сообщение об исключении.

прием здесь, должен связать только с объектами, которые происходят из простой реализации DependencyObject. INotifyPropertyChanged, не работал бы - в платформе существует ошибка, которая препятствует тому, чтобы Вы получили доступ к ошибочному набору.