Сибирский университет потребительской кооперации
Опубликован: 04.05.2005 | Доступ: свободный | Студентов: 4322 / 1347 | Оценка: 4.45 / 4.22 | Длительность: 12:28:00
ISBN: 978-5-9556-0034-5
Лекция 3:

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

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

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

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

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

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

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