программа на прологе, использую swi: -- father(1,2). father(2,3). mother(10,2).
ded(x,y):-father(x,z),father(z,y). ded(x,y):-mother(x,z),father(z,y). -- собираю, запускаю, пишу ded(1,3). в ответ No, почему? по идее должно применится сначало первое выражение для деда, ded(x,y):-father(x,z),father(z,y). потом будет подставляется по месту father соотвецтвуюше факты, и врезультате найдется последовательность 1,2 2,3 почему так непроисходит ?
