Описание слайда:
:- если :- если «Кассир и администратор являются людьми одного пола». zanjat(X,Y,Z):- persona(X,Z), profession(Y), … . uslovie_polov(X1,Y1,Z1,X2,Y2,Z2):- zanjat(X1,Y1,Z1), zanjat(X2,Y2,Z2), Y1= kassir, Y2= administrator, Z1=Z2. uslovie_polov(X1,Y1,Z1,X2,Y2,Z2):- zanjat(X1,Y1,Z1), zanjat(X2,Y2,Z2), Y1= administrator, Y2= kassir, Z1=Z2.