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