![]() |
![]() |
![]() |
![]() |
tytar_on(uranos,rhea).
tytar_on(kronos,hera).
poeg_on(uranos,okeanos).
poeg_on(uranos,iapetos).
poeg_on(uranos,kronos).
poeg_on(kronos,zeus).
poeg_on(iapetos,atlas).
pojapoeg(Vanaisa,Pojapoeg) :-
poeg_on(Vanaisa,Isa),
poeg_on(Isa,Pojapoeg).
? pojapoeg(uranos,X).
? pojapoeg(uranos,X).
? poeg_on(uranos,Poeg), poeg_on(Poeg,X).
-- esimene võimalus: Poeg = okeanos
? poeg_on(uranos,okeanos), poeg_on(okeanos,
X).
? poeg_on(okeanos, X).
? poeg_on(uranos,Poeg), poeg_on(Poeg,X).
- teine võimalus: Poeg = iapetos
? poeg_on(uranos, iapetos), poeg_on(iapetos
, X).
? poeg_on(uranos, iapetos), poeg_on(iapetos,atlas).
X = atlas
? poeg_on(iapetos , X).
? poeg_on(uranos, kronos), poeg_on(kronos , X).
X = zeus
Ülesanne
Millises järjekorras saadakse vastused, kui ülaltoodud
programmis predikaadi "poeg_on"
kirjelduses kahe esimese rea järjekord vahetada?