# coding=utf-8 name = 'sister/2' slug = 'X je sestra od Y' description = '''\
sister(X, Y)
: X
je sestra od Y
.
?- sister(vanessa, X). X = patricia.''' plan = [ '''\ ''', '''\
Če je X
ženska in če imata X
in Y
skupnega starša,
potem je X
sestra od Y
.
Si pomislil, da sta X
in Y
lahko ista oseba? Poskusi naslednjo poizvedbo:
?- sister(sally, Y).''', 'linkText': 'Kako lahko preverim, da sta
X
in Y
različna?'},
'''\
S pomočjo operatorja \==
lahko preverim, da sta X
in Y
med seboj različna.
Na primer: X \== Y
Sestra je navadno ženskega spola.
''', 'y_can_be_of_any_gender': '''\Y
je pravzaprav lahko poljubnega spola.
Dobro bi bilo, da imata X
in Y
vsaj enega skupnega starša.
Si morda uporabil operator \==
prezgodaj?
Poskusi ga pomakniti bolj proti koncu. Razlog za probleme je verjetno, da spremenljivki, ki ju primerjaš, še nimata določene vrednosti in sta zato različni. Prolog ne preverja, če kasneje morda postaneta enaki, ampak samo kakšni sta v trenutku, ko naleti na primerjavo.
''', }