|Did you know ...||Search Documentation:|
|Pack prolog_library_collection -- prolog/pure.pl|
Some pure predicates that I learned from others.
The following predicates are re-exported from other modules
Term1 == Term2. Succeeds if Term1 can never become identical to Term2. In other cases the predicate succeeds after attaching constraints to the relevant parts of Term1 and Term2 that prevent the two terms to become identical.