Prolog. Реализация на ПЭВМ
Категория реферата: Рефераты по информатике, программированию
Теги реферата: доклад на тему физика, реферат газ
Добавил(а) на сайт: Трусов.
Предыдущая страница реферата | 1 2 3 4 5 6 7 | Следующая страница реферата
posl = (N, V)
clauses
posl (0, 1)
posl (N, V) if
1) N>0
2) M=N-1
3) posl (M, U)
4) V=U*N
goal
posl (3, x)
Решение задачи производится в 2 этапа:
I этап.
1. Производится попытка удовлетворить запрос пользователя, используя первое утверждение в разделе clauses (posl (3,x) сопоставляется с posl (0, 1)). Так как 0 не сопоставляется с 3, то попытка завершается неудачей. После этого posl (3, x) сопоставляется с заголовком 2-го утверждения posl (N, V). Отсюда N получает значение 3, а V связывается с х и система переходит к доказательству подцели в теле правила:
1) N>0 согласуется при N1=3
2) M1=N1-3 согласуется при N1=3 и M1=2
3) posl (2, U1) приводит ко второму рекурсивному обращению и так как это обращение не согласовано с первым, то последнее утверждение (V=U*N) откладывается.
2. Согласование posl (2, U1) с posl (0, 1) приводит к неудаче. Происходит сопоставление с заголовком 2-го утверждения, что заканчивается удачей, при этом N2=2 и V=U1 . происходит доказательство по цели этого утверждения:
1) согласуется при N2=2
2) согласуется при N2=2 и М2=1
3) posl (1, U2) приводит к повторному рекурсивному обращению
4) откладывается
3. Согласование posl (1, U2) с posl (0, 1) приводит к неудаче. Сопоставление с заголовком 2-го утверждения заканчивается неудачей, при N3=1 и V=U2 . Происходит доказательство по цели этого утверждения:
1) согласуется при N3=1
2) согласуется при N3=1 и М3=0
3) posl (0, N3) приводит к повторному рекурсивному обращению.
Рекомендуем скачать другие рефераты по теме: ответы 4 класс, готовые дипломные работы.
Предыдущая страница реферата | 1 2 3 4 5 6 7 | Следующая страница реферата