Опубликован: 04.05.2005 | Уровень: для всех | Доступ: платный | ВУЗ: Сибирский университет потребительской кооперации
Лекция 3:

Основные понятия Пролога

< Лекция 2 || Лекция 3: 1234 || Лекция 4 >

Самостоятельные задания

  1. Создайте предикат, находящий максимум из четырех чисел.
  2. Создайте предикат, проверяющий, являются ли два человека
    • сестрами;
    • братьями;
    • дедушкой и внуком (внучкой);
    • дядей и племянником (племянницей);
    • супругами;
    • родственниками.
  3. Создайте предикат, имеющий пять аргументов, и проверяющий, попадает ли точка, чьи координаты заданы первыми двумя параметрами, в круг, центр которого определяют третий и четвертый параметр, а радиус - пятый.
  4. Создайте предикат, находящий абсолютное значение числа (=X, если X>=0, и =-X, если X<0).
  5. Создайте предикат, находящий длину гипотенузы прямоугольного треугольника по длинам катетов.
< Лекция 2 || Лекция 3: 1234 || Лекция 4 >
Виктор Бондарь
Виктор Бондарь

После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома:. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?

Ольга Потапенко
Ольга Потапенко

никак не могу увидеть тексты самих лекций.

Віталій Боярський
Віталій Боярський
Россия
олег носков
олег носков
Россия, г. Кисловодск