После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома:. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу? |
Сибирский университет потребительской кооперации
Опубликован: 04.05.2005 | Доступ: свободный | Студентов: 4322 / 1347 | Оценка: 4.45 / 4.22 | Длительность: 12:28:00
ISBN: 978-5-9556-0034-5
Тема: Программирование
Специальности: Программист, Архитектор программного обеспечения
Теги:
Лекция 3:
Основные понятия Пролога
Самостоятельные задания
- Создайте предикат, находящий максимум из четырех чисел.
- Создайте предикат, проверяющий, являются ли два человека
- сестрами;
- братьями;
- дедушкой и внуком (внучкой);
- дядей и племянником (племянницей);
- супругами;
- родственниками.
- Создайте предикат, имеющий пять аргументов, и проверяющий, попадает ли точка, чьи координаты заданы первыми двумя параметрами, в круг, центр которого определяют третий и четвертый параметр, а радиус - пятый.
- Создайте предикат, находящий абсолютное значение числа (=X, если X>=0, и =-X, если X<0).
- Создайте предикат, находящий длину гипотенузы прямоугольного треугольника по длинам катетов.