После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома:. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу? |
Сибирский университет потребительской кооперации
Опубликован: 04.05.2005 | Доступ: свободный | Студентов: 4321 / 1347 | Оценка: 4.45 / 4.22 | Длительность: 12:28:00
ISBN: 978-5-9556-0034-5
Тема: Программирование
Специальности: Программист, Архитектор программного обеспечения
Теги:
Лекция 4:
Рекурсия
Самостоятельные задания
- Создайте предикат, вычисляющий неотрицательную степень целого числа.
- Создайте предикат, вычисляющий по натуральному числу N сумму чисел от 1 до N.
- Создайте предикат, вычисляющий по натуральному числу N сумму нечетных чисел, не превосходящих N.
- Создайте предикат, вычисляющий наибольший общий делитель двух натуральных чисел.
- Создайте предикат, вычисляющий наименьшее общее кратное двух натуральных чисел.
- Реализуйте, используя рекурсию и отсечение, цикл с постусловием (типа repeat <оператор> until <условие> ).
- Реализуйте, используя рекурсию и отсечение, цикл со счетчиком (типа for i:=1 to N do <оператор> )
- Реализуйте, используя рекурсию и отсечение, цикл со счетчиком (типа for i:=1 downto N do <оператор> )