Составители:
Рубрика:
8
CLAUSES
collection(“Иванов”,book(“Война и мир”, “Лев Толстой”,
publication(“Просвещение”,1990))).
При описании правил часто возникает необходимость использовать
логические связки И и ИЛИ. В качестве связки И используется запятая,
а в качестве связки ИЛИ – точка с запятой. Например:
gigant(X) :- rost(X,Y),Y>200.
star_or_mlad(X) :- X>70; X<10.
ПРОЛОГ имеет большое количество встроенных предикатов, т.е.
предикаты, определяемые автоматически. Например, встроенный пре-
дикат nl вызывает перевод строки, а встроенный предикат write приме-
няется для вывода информации на экран. Встроенные предикаты ис-
пользуются так же, как и определяемые пользователем предикаты, но
встроенный предикат не может являться головой правила или появ-
ляться в факте.
Часто используемыми встроенными предикатами являются = (уни-
фикация) и логическое отрицание not. Например:
student(X) :- X=”Петров”; X=”Иванов”.
xor_student(X) :- not(X=”Петров”), not(X=”Иванов”).
planeta(X) :- not(X=”солнце”).
Утверждение not(X = Y) эквивалентно X<>Y.
Иногда бывает полезно использовать предикаты, про которые зара-
нее известно, истинны они или ложны. Для этих целей используют пре-
дикаты true и fail. Предикат true всегда истинен, в то время как fail
всегда ложен. Последний предикат используется для управления про-
цессом решения задачи на ПРОЛОГе.
ПРОЛОГ-программа может использовать комментарии, которые не
влияют на выполнение программы, но могут оказать помощь человеку,
читающему программу. ПРОЛОГ игнорирует произвольное число строк,
заключенное между символами /* и */. Все, что находится между % и
концом строки, также рассматривается как комментарий:
/* Здесь записан
комментарий */
% Это тоже комментарий
Страницы
- « первая
- ‹ предыдущая
- …
- 8
- 9
- 10
- 11
- 12
- …
- следующая ›
- последняя »
