- Ты знаешь, в GNU Prolog есть нестандартная билт-ин управляющая конструкция forall/2, которая по факту является синтаксическим сахаром для такого выражения: недоказуема конъюнкция выражения-условия и того, что недоказуемо выражение-действие! То есть, после "не" идёт объединение "А и не Б". В стандартном "прологе" подобные высказывания считались совершенно нормальными повседневными способами спросить базу данных о том, какие в ней есть данные. Это считалось почти как запрос на естественном языке. Но это совсем не естественный язык! Вот ты в русском языке такое выражение сможешь сформулировать? Чтобы после "не" шло объединенное высказывание: что-то одно, "и", "не" что-то другое?
- НЕ ЕБИ МНЕ МОЗГИ!