Проблема, с которой я сталкиваюсь, немного тривиальна. Я хочу использовать логическое не в Прологе, но кажется, чтоnot/1 это не то, что я хочу

course(ai).
course(pl).
course(os).

have(X,Y) :- course(X),course(Y),not(X = Y).

Я запрашиваю:

have(X,Y), write(X-Y), nl , fail.

И я не получаю желаемого результата :(