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…

[image] pampelmuse76: Why are the first two facts not considered the same? Because they exist as 2 facts. Prolog doesn’t automatically remove duplicates. [image] pampelmuse76: Why is the same result given twice? Use e.g. distinct/2 to remove unwanted duplicates.

Strange to me. Because I am reasoning about the atom “red”, not the memory region it is stored.

Guarding against duplicates takes some CPU activity. Also, it’s not impossible that duplicates are intentional. Only the programmer knows the intention, the grouping subtleties, and the appropriate points (whether for performance or for logic) to group. A SQL database has the distinct and group by …

[image] pampelmuse76: Why are the first two facts not considered the same? They are the same terms. But there are two distinct derivations.

If I really want to have two distinct derivations, I would model it this way: isP([id1, red]). isP([id2, red]). isP([id1, blue]). pairs([Idx, X], [Idy, Y]) :- isP([Idx, X]), isP([Idy, Y]), dif(X, Y). My use case is to prevent duplicate facts if facts are generated.

[image] pampelmuse76: prevent duplicate facts Some methods: How to detect duplicate facts in the knowledge base? - #12 by peter.ludemann

Identity vs. Equality in Prolog

Help!

brebs October 1, 2024, 10:56pm 8

Some methods: How to detect duplicate facts in the knowledge base? - #12 by peter.ludemann

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

Identity vs. Equality in Prolog

Related topics