Ты знаешь, в GNU Prolog есть нестандартная

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

Похожие анекдоты:

На фоне "пересмотра миропорядка" и других событий
На фоне "пересмотра миропорядка" и других событий последнего времени песенка из мульта про пластилиновую ворону зазвучала новыми красками. Помните?
...А может , это "дворник" был... ХА-ХА-ХА-ХА
Он шёл по сельской местности...ХА-ХА-ХА-ХА
К ближайшему "орешнику"...ХА-ХА-ХА-ХА
за новою "метлой"...


"Ну? Чего вы кидаетесь?"
Животных
Прислал mrpop
2024-11-24

Слыхал?
-Слыхал? Меркель возмутилась, что из неё сделали "козла отпущения".
-Интересно, что её больше возмутило, пол животного или его статус?
Животных
Прислал Олег, Одесса
2024-11-24

Объявление в зоопарке
Объявление в зоопарке: "Уважаемые посетители! На территории зоопарка ведите себя так, чтобы не возникало никаких сомнений, по какую сторону решетки находится обезьяна!"
Животных, Объявления
Прислал боб
2024-11-24
Категории про