Identity vs. Equality in Prolog

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