Этот проект о реализации логики программирования на основе, рассуждения двигателя для агента. Мы начали с реализации процедур iff-доказательство, Ковальски и Фунг, как в любое время алгоритм, написанный в Prolog.
история версии
- Версия gloria-v.1.1.2 размещено на 2007-10-23
Несколько исправлений и обновлений - Версия gloria-v.1.1.2 размещено на 2007-10-23
Подробная информация о программе
- Категории: Сеть и Интернет > Других
- Издателя: gloria.sf.net
- Лицензии: Бесплатный
- Цена: N/A
- Версия: 1.1.2
- Платформы: windows