Составители:
Рубрика:
переменных, при которых из множества предложений S ∪ {C←}
удается вывести пустое предложение
.
Пример 3.3. Дана формулировка задачи на естественном языке:
Робот находится там, где находится тележка. Определить, где находится
робот, если известно, что тележка находится на складе.
Запись условий задачи в стандартной форме:
где(робот, x) ← где(тележка, x).
где(тележка, склад) ←.
← где(робот, y).
В соответствии с методом резолюций запрос формируется как отрицание
предложения "где(робот, y)". Последовательность резолюций:
← где(робот, y) | где(робот, x) ← где(тележка, x)
y=x ;
← где(тележка, x)
← где(тележка, x) | где(тележка, склад) ←
x=склад .
Таким образом, на втором шаге при использовании согласующей подстановки
x=склад получено пустое предложение и ответ где(робот, склад), что
означает, что робот находится на складе.
3.4. Prolog – язык логического программирования
Программа на языке Prolog состоит из разделов, имеющих специальные
названия:
constants /*объявление значений констант*/
domains /*объявление доменов, описывающих классы объектов*/
database /*предикаты динамической базы данных*/
predicates /*описание имен и структур предикатов, определяемых
пользователем */
goal /*целевое утверждение (цель), описывает желаемый результат */
clauses /*содержит описание предметной области задачи: факты и
правила логического вывода решения */.
130
Страницы
- « первая
- ‹ предыдущая
- …
- 44
- 45
- 46
- 47
- 48
- …
- следующая ›
- последняя »
