A következő kérdésem lenne. Megírtam a sat eljárást, ami helyes
eredményt ad, de választási pontot hoz létre, és kidobja az eredményeket
akkor is, amikor nem kéne. A probléma a következő eljárással van (a
MiniNat szorzatuk_nulla eljárásának mintájára írtam):
%and2(A, B, C): C=A és B, C ismert.
and2(A, B, C) :-
( C=1 -> (A=1, B=1)
; (A=0; dif(A, 0), B=0)
).
Érthető, hogy ez így nem jó, a diszjunkció miatt. A kérdésem az, hogy
hogyan lehet ezt megvalósítai úgy, hogy azt csinálja, amit kell?