Почему я получаю и истину, и ложь для этого сравнения Пролога? - PullRequest
Новая
       13

Почему я получаю и истину, и ложь для этого сравнения Пролога?

0 голосов
/ 21 октября 2018 
regions([a,b,c,d,e,f]).
colors([brown,green,blue,red]).
hascolor(X,brown):-regions([X|_]).
hascolor(X,brown):-regions([_,_,_,_,X,_]).
hascolor(X,blue):-regions([_,X,_,_,_,_]).
hascolor(X,blue):-regions([_,_,_,X,_,_]).
hascolor(X,green):-regions([_,_,_,_,_,X]).
hascolor(X,red):-regions([_,_,X,_,_,_]).

conflict(X,Y):-hascolor(X,brown),hascolor(Y,brown).

Привет, ребята, бегущие ?-conflict(a,e). сделают меня правдой и ложью.И a, и e имеют одинаковый цвет (коричневый), и конфликт должен возвращать только значение true.Почему он также возвращает false?

...