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	10193	November 15, 2019
How to detect duplicate facts in the knowledge base? Help! how-to	13	1849	June 24, 2022
How to check for unique "primary keys" Nice to know how-to	4	712	December 23, 2020
How can remove the duplicate search result Help!	12	5315	April 10, 2019
I don't understand why this query do not terminate Help!	24	1794	March 31, 2022