Составители:
Рубрика:
6
описание фактов и правил, описывающих отношения (clauses).
Имена объектов (констант) в ПРОЛОГе пишутся с маленькой буквы,
а переменных – с большой.
Рассмотрим, как можно описать на ПРОЛОГе задачу из некоторой
предметной области, например географии.
Программа 1
DOMAINS
gorod, strana = symbol
PREDICATES
situ(gorod,strana)
CLAUSES
situ (london, england).
situ (petersburg, russia).
situ (kiev, ukraine).
situ (pekin, asia).
situ (warszawa, poland).
situ (berlin, europe).
situ (X, europe):- situ (X, russia).
situ (X, europe):- situ (X, poland).
Выражение
situ(kiev, ukraine)
описывает тот факт, что город Киев находится на Украине. Ранее в про-
грамме был введен соответствующий предикат, работающий с объекта-
ми символьного типа. Название города и страны здесь являются кон-
стантами, поэтому по правилам ПРОЛОГа их нужно писать с малень-
кой буквы. Вместо блока определений:
DOMAINS
gorod, strana = symbol
PREDICATES
situ(gorod,strana)
можно было просто описать предикат:
PREDICATES
situ(symbol, symbol)
Иногда первый вариант предпочтительнее, поскольку позволяет оце-
нивать семантический смысл аргументов предиката.
В конце раздела clauses Программы 1 описаны два правила. Правило
задает новый предикат через предикаты, определенные ранее. Правило
Страницы
- « первая
- ‹ предыдущая
- …
- 6
- 7
- 8
- 9
- 10
- …
- следующая ›
- последняя »
