Используя предикат супругов, описать отношение тёща и зять.
married("Коля","Оля").
married("Вася","Надежда").
married("Петя","Любовь").
mather("Оля","Антанина Петрона").
mather("Надежда","Евгения Семёновна").
mather("Любовь","Мария Владимировна").
soninlow(X,Y):-
married(X,Z),
mather(Z,Y).
| ?- soninlow(X,Y).
X = Коля
Y = Антанина Петрона;
X = Вася
Y = Евгения Семёновна;
X = Петя
Y = Мария Владимировна;
yes
| ?- soninlow("Вася",Y).
X = Евгения Семёновна
yes
| ?- soninlow(X,"Мария Владимировна").
X = Петя
yes
|
Главная
Каталог файлов
