Составители:
Рубрика:
5
1. Приводим посылки к нормальной форме (без → и ↔)
P ∨ Q;
P
∨ R;
Q
∨ S.
2. Записываем в нормальной форме отрицание заключения
()
RS
∨
=
R
∧
S
;
R
;
S
.
3. Рассматриваем конъюнкцию пяти дизъюнктов
R
∧ (R ∨
P
) ∧ (P ∨ Q) ∧
S
∧ (
Q
∨ S)
Первые два дизъюнкта дают
P
, что в сочетании с третьим дизъюнк-
том дает Q. Четвертый и пятый дизъюнкты дают
Q
.
Таким образом, имеем
Q ∧
Q
= FALSE.
Таким образом, доказано ((P∨Q)∧(P→R)∧(Q→S))→(R∧S), посколь-
ку противоположное неверно.
Любую программу на ПРОЛОГе можно рассматривать как базу дан-
ных. Механизм обработки запросов в ПРОЛОГе называется унифика-
цией. После того как пользователь вводит запрос, интерпретатор при-
ступает к анализу содержимого базы данных, выполняя допустимые
подстановки фактов в целевое утверждение, чтобы обосновать его ис-
тинность.
2. СТРУКТУРА ПРОГРАММЫ НА ПРОЛОГЕ
Программа на языке ПРОЛОГ включает следующие основные разделы:
описание имен и структур объектов (domains);
описание предикатов – названий отношений, существующих между
объектами (predicates);
раздел целевых утверждений (goal), который может отсутствовать; в
этом случае программа будет запрашивать целевое утверждение при
запуске;
Страницы
- « первая
- ‹ предыдущая
- …
- 5
- 6
- 7
- 8
- 9
- …
- следующая ›
- последняя »
