«Программа для логического вывода в статическом рое»

Программа реализует процедуру логического вывода в структуре, называемой, статическим роем. Статический рой - это структура, представляющая собой полученные в некий момент времени схемы соединений роботов. Так как реализация логического вывода в таких структурах в духе ПРОЛОГа чревата тем, что все ресурсы такой структуры будут перегружены, имеет смысл либо использовать другие механизмы логического вывода, например линейный вывод на основе продукций, либо учитывать данные перегрузки. Программа для логического вывода в статическом рое реализует метод, позволяющий производить логический вывод в статическом рое в духе ПРОЛОГа, учитывая возможные перегрузки. Тип реализующей ЭВМ: IBM PC - совмест. ПК

Язык программирования: С++

Вид и версия операционной системы: Linux, Unix