Была логика предикатов, исчисление логики предикатов, и появился пролог (язык программирования).

А ещё есть интуиционистская логика. Значит ли это что мог бы существовать интуиционистский пролог? Кстати, где он?

Ранее было:
План от "Генератора идей"

Отредактировано Лис (2025-12-07 11:49:48)