Урок 2. Возможности языка Пролог и его область применения.

Все статьи по данной теме.

Пролог применяется главным образом в приложениях типа экспертных систем и интеллектуальных баз данных, он также полезен и для  разработки обычных приложений. Этот язык использует более быстрые механизмы получения логического вывода, чем большинство других языков. Его можно применять для решения следующих задач:

• быстрая разработка прототипов прикладных программ;
• автоматический перевод с одного языка на другой;
• создание естественно-языковых интерфейсов для существующих систем;
• символьные вычисления для решения уравнений, дифференцирования и интегрирования;
• проектирование динамических реляционных баз данных;
• экспертные системы и оболочки экспертных систем;
• автоматизированное управление производственными процессами;
• автоматическое доказательство теорем;
• полуавтоматическое составление расписаний;
• системы автоматизированного проектирования;
• базирующееся на знаниях программное обеспечение;
• организация сервера данных или, точнее, сервера знаний, к которому может обращаться клиентское приложение, написанное на каком-либо языке программирования.

А вот для чего не подходит этот язык, так это большой объем арифметических вычислений (обработка аудио, видео и т.д.); написание драйверов. Так же вряд ли можно применить пролог для написания программ бухгалтерского и складского учета.

Программирование в Прологе существенно отличается от обычного программирования и требует несколько другого подхода в написании программы. Здесь утверждаются логические отношения, а Пролог используется, чтобы определить, являются ли некоторые конструкции истинными, и если да, то каким образом был получен такой вывод. Отсюда следует декларативный стиль программирования.
Язык пролог является представителем семейства языков логического программирования и в сравнении с традиционными языками программирования, предназначенными для записи алгоритмов, такими как Бейсик, Фортран, Паскаль, Си, обладает существенными особенностями:

• программа на Прологе не является алгоритмом, а представляет собой запись условия задачи на языке формальной логики (т.е. это дескриптивный, описательный язык программирования);
• язык Пролог предназначен не для решения вычислительных или графических задач, а для решения логических задач, для моделирования процесса логического умозаключения человека; вычисления же и графические построения выполняются в Прологе как побочный продукт логического вывода;
• Пролог требует особого стиля мышления программиста, что затрудняет изучение его теми, кто уже привык к процедурному программированию, поэтому, так называемые, практические программисты не стремятся переходить на этот язык, что мешает росту популярности Пролога; однако во многих странах (Японии, Англии, Франции, Германии, Израиле и т.д.) расширяется практика применения Пролога в образовании как первого изучаемого языка программирования; переход к процедурным языкам типа Паскаля в этом случае трудностей не вызывает.

Все статьи по данной теме.