New Page 1
Урок 2. Возможности
языка Пролог и его область применения.
Все статьи по данной теме.
Пролог применяется главным образом в
приложениях типа экспертных систем и
интеллектуальных баз данных, он также
полезен и для разработки обычных
приложений. Этот язык использует более
быстрые механизмы получения логического
вывода, чем большинство других языков. Его
можно применять для решения следующих
задач:
- быстрая разработка прототипов
прикладных программ;
- автоматический перевод с одного языка
на другой;
- создание естественно-языковых
интерфейсов для существующих систем;
- символьные вычисления для решения
уравнений, дифференцирования и
интегрирования;
- проектирование динамических
реляционных баз данных;
- экспертные системы и оболочки
экспертных систем;
- автоматизированное управление
производственными процессами;
- автоматическое доказательство теорем;
- полуавтоматическое составление
расписаний;
- системы автоматизированного
проектирования;
- базирующееся на знаниях программное
обеспечение;
- организация сервера данных или, точнее,
сервера знаний, к которому может
обращаться клиентское приложение,
написанное на каком-либо языке
программирования.
А вот для чего не подходит этот язык, так
это большой объем арифметических
вычислений (обработка аудио, видео и т.д.);
написание драйверов. Так же вряд ли можно
применить пролог для написания программ
бухгалтерского и складского учета.
Программирование в Прологе существенно
отличается от обычного программирования и
требует несколько другого подхода в
написании программы. Здесь утверждаются
логические отношения, а Пролог
используется, чтобы определить, являются ли
некоторые конструкции истинными, и если да,
то каким образом был получен такой вывод.
Отсюда следует декларативный стиль
программирования.
Язык пролог является представителем
семейства языков логического
программирования и в сравнении с
традиционными языками программирования,
предназначенными для записи алгоритмов,
такими как Бейсик, Фортран, Паскаль, Си,
обладает существенными особенностями:
- программа на Прологе не является
алгоритмом, а представляет собой запись
условия задачи на языке формальной
логики (т.е. это дескриптивный,
описательный язык программирования);
- язык Пролог предназначен не для решения
вычислительных или графических задач, а
для решения логических задач, для
моделирования процесса логического
умозаключения человека; вычисления же и
графические построения выполняются в
Прологе как побочный продукт логического
вывода;
- Пролог требует особого стиля мышления
программиста, что затрудняет изучение
его теми, кто уже привык к процедурному
программированию, поэтому, так
называемые, практические программисты не
стремятся переходить на этот язык, что
мешает росту популярности Пролога;
однако во многих странах (Японии, Англии,
Франции, Германии, Израиле и т.д.)
расширяется практика применения Пролога
в образовании как первого изучаемого
языка программирования; переход к
процедурным языкам типа Паскаля в этом
случае трудностей не вызывает.
Все статьи по данной теме.
|