ВУЗ:
Составители:
Рубрика:
- 4 -
ВВЕДЕНИЕ
PROLOG (PROgramming in LOGic - "логическое программирова-
ние") - язык логического программирования, используемый для реше-
ния задач, сводимых к объектам и отношениям между ними; позволяет
разрабатывать на основе ПЭВМ экспертные системы, базы знаний и
системы обработки естественного языка.
Язык PROLOG разработан в 1971 году Аленом Кольмеро и его
коллегами из Марсельского университета (Франция).
Две самых отличительных черты языка PROLOG - это его способ-
ность к сравнению выражений (сопоставлению фактов) и внутренняя
реляционная база данных. Используя правила своей внутренней базы
данных и аппарат сравнения фактов, PROLOG может выдавать ответы
на поставленные в логической форме вопросы.
При программировании на Прологе значительно упрощается опи-
сание решений, и программист имеет возможность заниматься непос-
редственно задачей. То есть описанием ответа на вопрос ЧТО? де-
лать, а не КАК? искать решение.
Прологу присущ ряд свойств, которыми не обладают традицион-
ные языки программирования. К таким свойствам относятся механизм
вывода с поиском и возвратом (бектрекинг), встроенный механизм
сопоставления с образом (унификация), и простая, но выразительная
структура данных с возможностью ее изменения. Пролог отличает
единообразие программ и данных, что позволяет менять программу во
время ее работы. Декларативность языка позволяет понимать прог-
рамму, не отслеживая динамику ее выполнения.
Cистема Turbo-PROLOG - технологична. На уровне объектных мо-
дулей Turbo-PROLOG совместим с такими языками как Turbo-Pascal,
Turbo-C, Turbo-ASM (турбо-ассемблер) и использует стандартную
графическую библиотеку функций фирмы Borland.
Страницы
- « первая
- ‹ предыдущая
- …
- 2
- 3
- 4
- 5
- 6
- …
- следующая ›
- последняя »
