gudleifr писал(а):
[Проблема FORTH-TRUE в данном случае двояка:
Он позволяет
...
Можно все, но стоит ли это делать?
"Позволяет, но стоит ли ..." В такой формулировке это не проблемы языка, а проблемы самодисциплины программиста. Думаешь, что не стоит - не делай, но саму возможность оставь.
gudleifr писал(а):
Но иногда - нет (как в приведенном выше логическом выражении, где хотя бы одно из A или B требуется "нормировать").
Или пиши программу
- не используя других логических значений кроме 0/-1. Проблема самодисциплины.
- или так, чтобы возвращаемое кривое логическое значение всегда с другими совокуплялось осмысленно. Опять проблема самодисциплины.
- или введи новый "нормирующий" AND
: AND! 0= 0= AND ;
и пиши вообще как хош.
В любом случае это проблемы самодисциплины программиста.