Составители:
Рубрика:
3
1. ТЕОРЕТИЧЕСКИЕ ПРИНЦИПЫ ПРОЛОГА
ПРОЛОГ является языком исчисления предикатов. Предикат – это
логическая формула от одного или нескольких аргументов. Можно ска-
зать, что предикат – это функция, отображающая множество произволь-
ной природы в множество {ложно, истинно}.
Обозначаются предикаты F(x), F(x, y), F(x, y, z) и т. д..
Одноместный предикат F(x), определенный на предметной области
M, является истинным, если у объекта x есть свойство F, и ложным –
если этого свойства нет.
Двухместный предикат F(x, y) является истинным, если объекты x и
y находятся в отношении F.
Многоместный предикат F(x
1
, x
2
, x
3
,..., x
N
) задает отношение меж-
ду элементами x
1
, x
2
, ..., x
N
и интерпретируется как обозначение выска-
зывания: “Элементы x
1
, x
2,
x
N
находятся между собой в отношении F”.
При разработке логических программ предикаты получают обычно
названия, соответствующие семантике описываемой предметной обла-
сти.
Примеры предикатов:
хищник (Х)
супруги (X,Y)
фио (X,Y,Z)
Предикаты, которые нельзя разбить на отдельные компоненты, на-
зывают атомарными. Сложные формулы строятся путем комбинирова-
ния атомарных предикатов логическими соединителями И, ИЛИ и НЕ.
Одноместный предикат при подстановке в него значения перемен-
ной становится «нульместным», т.е. высказыванием-предложением, ко-
торое является истинным или ложным:
хищник (тигр).
При подстановке в n-местный предикат конкретного значения его
местность становится равной n–1. Таким образом, каждое высказыва-
Страницы
- « первая
- ‹ предыдущая
- …
- 3
- 4
- 5
- 6
- 7
- …
- следующая ›
- последняя »