Составители:
Рубрика:
7
состоит из головы (предиката) и тела – последовательности предика-
тов. Голова отделяется от тела значком :- , который можно интерпрети-
ровать как слово «Если». Таким образом, заключение является головой
правила, а тело правила состоит из набора посылок.
Использование правил является основным способом представления
знаний в интеллектуальных системах.
Смысл правила состоит в том, что цель, являющаяся головой, будет
истинной, если интерпретатор ПРОЛОГа сможет показать, что все вы-
ражения (подцели) в теле правила являются истинными.
В правилах буква X (или любая другая заглавная буква, или любое
слово, начинающееся с заглавной буквы) обозначает переменную, кото-
рая может принимать разные значения.
Так, правило
situ (X, europe):- situ (X, poland)
означает, что любой польский город является одновременно европейс-
ким городом. Добавлением новых правил можно пополнять и модифи-
цировать описание задачи. Если мы хотим описать тот факт, что все
города Франции являются одновременно европейскими городами, то
достаточно добавить всего одно правило
situ (X, europe):- situ (X, france)
и можно будет по-прежнему использовать все остальные факты о горо-
дах Европы.
В ПРОЛОГе можно использовать составные объекты. Составные
объекты позволяют описывать иерархические структуры, в которых опи-
сание одного предиката включает в себя описание других предикатов.
Например:
Программа 2
DOMAINS
personal_library=book(title,author,publication)
publication= publication(publisher,year)
collector,title,author,publisher=symbol
year=integer
PREDICATES
collection(collector, personal_library)
Страницы
- « первая
- ‹ предыдущая
- …
- 7
- 8
- 9
- 10
- 11
- …
- следующая ›
- последняя »
