Логическое программирование

База правил

Коллекция хорновских дизъюнктов, определяющих логические отношения и импликации, позволяющие выводить новые факты из существующих.

← Назад