Автор работы: Пользователь скрыл имя, 19 Февраля 2013 в 10:30, контрольная работа
Язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.
Многие современные реализации языка имеют внутреннее расширение за счет ООП-архитектуры. Кроме проприетарных решений также существуют свободные реализации Пролог. В 1996 году был принят стандарт ISO, получивший название ISO/IEC JTC1/SC22/WG17.
Экспертные системы
Структура Экспертных
Систем
Режимы функционирования
Экспертных систем
Классификация Экспертных
систем по решаемой задаче
Наиболее известные
Экспертные системы
Пролог (язык программирования)
Язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.
Многие современные реализации языка имеют внутреннее расширение за счет ООП-архитектуры. Кроме проприетарных решений также существуют свободные реализации Пролог. В 1996 году был принят стандарт ISO, получивший название ISO/IEC JTC1/SC22/WG17.
Пролог реализован практически для всех известных операционных систем и платформ (в том числе для Java и .NET). В число операционных систем входят OS для мейнфр еймов, всё семейство Unix, Windows, ОС для мобильных платформ.