From 86bfc55d2ddc19b79127f2c788609635b702dbfd Mon Sep 17 00:00:00 2001
From: Aleksander Sadikov X
brat od Y
.
Si pomislil, da sta X
in Y
lahko ista oseba? Poskusi naslednjo poizvedbo:
?- brother(william, Y). --
VEČ... Kako naredim, da sta X in Y različna?
-''', +''', 'linkText': 'Kako lahko preverim, da staX
in Y
različna?'},
+'''\
+S pomočjo operatorja \==
lahko preverim, da sta X
in Y
med seboj različna.
+Na primer: X \== Y
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.
+''', + } -- cgit v1.2.1