Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

Пример не процедурной семантики.

Читайте также:
  1. IV. Практические наставления. Сила и значение веры, ветхозаветные примеры веры. (10.19-13.25).
  2. V. ПРИМЕРЫ ВЫПОЛНЕНИЯ ЗАДАНИЙ
  3. А) Примеры веры древних, до потопа (11,4-7)
  4. Автономные системы примеры /экодома
  5. Аддитивное и субтрактивное смешение цветов, примеры использования.
  6. Анализ данного примера
  7. Б) Примеры веры Авраама и Сарры (11,8-19)

Факты н_начальник(кто,кому) задают
непосредственных начальников, а правила начальник(кто,кому)
описывают любых начальников над нижеследующими сотрудниками.

 
 


н_начальник(федя,нина).

н_начальник(вася,коля).

н_начальник(вася,федя).

 

начальник(X,Y):- н_начальник(X,Y). (1)
начальник(X,Y):- начальник(X,Z), н_начальник(Z,Y). (2)

 

?- начальник(X,Y).

X = федя,

Y = нина;

X = вася,

Y = коля;

X = вася,

Y = федя;

X = вася,

Y = нина;

 

Выполнение цели НЕвозможно, если правила (1) и (2) переставить местами:

 

начальник(X,Y):- начальник(X,Z), н_начальник(Z,Y).

начальник(X,Y):- н_начальник(X,Y).

 

?- начальник(X,Y).

ERROR: Out of local stack

Exception: (416,927) начальник(_G283, _G377)? abort

Execution Aborted

?-


Дата добавления: 2015-07-12; просмотров: 60 | Нарушение авторских прав


<== предыдущая страница | следующая страница ==>
Синтаксис| Унификация

mybiblioteka.su - 2015-2024 год. (0.005 сек.)