После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома: |
Опубликован: 04.05.2005 | Уровень: для всех | Доступ: платный | ВУЗ: Сибирский университет потребительской кооперации
Лекция 3:
Основные понятия Пролога
Самостоятельные задания
- Создайте предикат, находящий максимум из четырех чисел.
- Создайте предикат, проверяющий, являются ли два человека
- сестрами;
- братьями;
- дедушкой и внуком (внучкой);
- дядей и племянником (племянницей);
- супругами;
- родственниками.
- Создайте предикат, имеющий пять аргументов, и проверяющий, попадает ли точка, чьи координаты заданы первыми двумя параметрами, в круг, центр которого определяют третий и четвертый параметр, а радиус - пятый.
- Создайте предикат, находящий абсолютное значение числа (=X, если X>=0, и =-X, если X<0).
- Создайте предикат, находящий длину гипотенузы прямоугольного треугольника по длинам катетов.