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

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

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

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

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

начальник(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