2 отношения: Пролог (язык программирования), Алгоритм Rete.
Пролог (язык программирования)
Пролог (англ. Prolog) — язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.
Новый!!: Машина вывода и Пролог (язык программирования) · Узнать больше »
Алгоритм Rete
Rete — эффективный алгоритм сопоставления с образцом для продукционных систем, экспертных систем и баз знаний, созданный Чарльзом Форги из Университета Карнеги Меллона.
Новый!!: Машина вывода и Алгоритм Rete · Узнать больше »
Перенаправления здесь:
Машина логического вывода, Механизм вывода, Правила вывода, Правило вывода.