Экспертные системы
Контрольная работа, 19 Февраля 2013, автор: пользователь скрыл имя
Описание работы
Язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.
Многие современные реализации языка имеют внутреннее расширение за счет ООП-архитектуры. Кроме проприетарных решений также существуют свободные реализации Пролог. В 1996 году был принят стандарт ISO, получивший название ISO/IEC JTC1/SC22/WG17.