Составители:
Рубрика:
12
В ответ на этот запрос будет получено несколько ответов:
X = london
X = petersburg
X = kiev
X = warszawa
В ПРОЛОГ-программе можно использовать и количественные све-
дения. Это можно сделать так:
Программа 5
DOMAINS
nazvanie,stolica = symbol
naselenie = integer
territoria = real
PREDICATES
strana(nazvanie,naselenie_mln,territoria,stolica)
CLAUSES
strana(kitai,1200,9597000,pekin).
strana(belgia,10,30000,brussel) .
strana(peru,20,1285000,lima) .
Если для этой программы поставить задачу следующим образом
goal: strana(X, _,Y, _), territoria > 1000000
То система выдаст значения, удовлетворяющие заданным ограничениям
X = kitai, Y = 9597000
X = peru, Y = 1285000
В этом запросе значки _ применяются для обозначения анонимных
переменных, значения которых безразличны для получения решения.
Таким образом, использование анонимных переменных не только
упрощает процесс поиска решения, но и сокращает объем информа-
ции, получаемой пользователем.
В программе на ПРОЛОГе цель может указываться в явном виде в
разделе goal. Например:
Программа 6
PREDICATES
hello
GOAL
hello.
Страницы
- « первая
- ‹ предыдущая
- …
- 12
- 13
- 14
- 15
- 16
- …
- следующая ›
- последняя »
