Партнерка на США и Канаду по недвижимости, выплаты в крипто

  • 30% recurring commission
  • Выплаты в USDT
  • Вывод каждую неделю
  • Комиссия до 5 лет за каждого referral

Лабораторна робота №3

Тема: Уніфікація і пошук з поверненням

Мета: Навчитися створювати програми з використанням пошуку з

поверненням і відсічення.

1. Завантажте і запустіть програму 3_3.pro і дослідіть наступні цільові твердження:

father(X, Y).

everybody.

2. Змініть тіло правила, що визначає everybody, таким чином, щоб правило закінчувалося предикатом write (видаліть звернення до fail). Тепер скомпілюйте і запустіть програму, задаючи everybody як мету. Чому TеstGoal не знаходить всіх рішень, як у випадку питання father(X,Y)?

3. Відновіть звернення до fail в кінці правила everybody. Знову поставте питання everybody як мету і запустіть Test Goal. Чому рішення для everybody перервані no?

Fail завжди створює ситуацію неуспішності.

Вправи до not

1. Припустимо, що середній платник податків в США – це одружена людина, що має двох дітей, заробляє не менше 500 і не більше 2000 доларів в місяць. Визначите предикат special_taxpayer, який, при цільовому твердженні special_taxpayer(fred), виконується лише в тому випадку, якщо fred порушить одну з умов для середнього платника податків. Використовуйте відсікання для гарантії того, що не виконується непотрібний пошук з поверненням.