РОССИЙСКАЯ ФЕДЕРАЦИЯ
ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ
ГОСУДАРСТВЕННАЯ РЕГИСТРАЦИЯ ПРОГРАММЫ ДЛЯ ЭВМ

Номер регистрации (свидетельства): 2016611293

Дата регистрации: 28.01.2016

Номер и дата поступления заявки: 2015661836 03.12.2015

Дата публикации: 20.02.2016

Контактные реквизиты:
Krivonos_DS@nrcki.ru
	
Автор:
Воробьев Виталий Владимирович

Правообладатель:
Федеральное государственное бюджетное учреждение «Национальный исследовательский центр «Курчатовский институт»

Название программы для ЭВМ:
«Программа для логического вывода в статическом рое»

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

Тип реализующей ЭВМ: IBM PC - совмест. ПК

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

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

Объем программы для ЭВМ: 0,03 Мб