Лекция 9: Типизация в логических языках
- Подробности
- Категория: Логическое программирование от НОУ ИНТУИТ
Возникновение типизации. Классификация языков. Система типов. Многослойная логика предикатов. Классы конкретизации. Детерминизм. Предикаты как функции. Каррирование