Продукционные экспертные системы. Механизмы логического вывода. Реализация экспертных систем на Прологе. Механизм вывода.