Программа представляет собой набор функций, которые позволяют реализовать логический вывод в группе роботов, использующих локальное взаимодействие. В данном программном модуле реализована возможность логического вывода в рамках логики первого порядка. В качестве основы используются механизмы поиска с возвратом и унификации с добавлением функционала для обмена данными. С++