Программы gloria.sf.net

Этот проект о реализации логики программирования на основе, рассуждения двигателя для агента. Мы начали с реализации процедур iff-доказательство, Ковальски и Фунг, как в любое время алгоритм, написанный в Prolog.