это может быть не очень важно, но у меня вроде бы есть желание получить название прямо здесь.
Итак, у меня есть набор фактов в виде какой-то системы ограничений (например, * 1003). *).
Теперь должна появиться функция, которая добавляет новый факт. У меня уже есть проблемы с именами, но, скажем, addFact или claim. Этот метод может иметь 3 различных результата:
- Факт уже известен (
a > b, например, в приведенном выше примере) - Факт противоречив (как
b == 7) - Факт действительно добавляет новые знания (например,
b == 3)
Как назвать эти 3 результата? Одно слово было бы идеальным, но с 2 тоже все в порядке.
У меня есть некоторые идеи, но я не очень доволен + Я не знаю, в какой комбинации я бы их использовал:
- Для 1:
AlreadyKnown, Known, Tautological - Для 2:
Contradictory, Impossible - Для 3:
Unknown? (<- Я совсем не доволен этим, потому что это также может означать, что метод <code>addFact каким-то образом потерпел неудачу ...)
Как вы думаете?