I’m using: SWI-Prolog version 9.2.7 My code looks like this: isP(red). isP(red). isP(blue). pairs(X, Y) :- isP(X), isP(Y), dif(X, Y). Result for query “pairs(X, Y)” is X = red, Y = blue ; X = red, Y = blue ; X = blue, Y = red ; X = blue, Y = red ; I do not understand this and would have t…

Identity vs. Equality in Prolog

brebs October 1, 2024, 10:56pm 8

Topic		Replies	Views
How to avoid duplicate return values Help!	3	10131	November 15, 2019
How to detect duplicate facts in the knowledge base? Help! how-to	13	1844	June 24, 2022
Creating a unique list of elements Help!	4	1004	December 22, 2023
How to check for unique "primary keys" Nice to know how-to	4	707	December 23, 2020
I don't understand why this query do not terminate Help!	24	1788	March 31, 2022