Reification of term equality/inequality

by

Well for one thing, the name should be more declarative, like equality_truth/2.

More Related Contents:

  1. Prolog: a person is a sibling of himself?
  2. What is the logical ‘not’ in Prolog?
  3. Using \==/2 or dif/2
  4. Prolog map procedure that applies predicate to list elements
  5. What is the difference between ‘ and ” in Prolog?
  6. Definition of a path/trail/walk
  7. Definition of Reflexive Transitive Closure
  8. Most general higher-order constraint describing a sequence of integers ordered with respect to a relation
  9. Delete vowels in a list
  10. Finding Unique Items in a List
  11. Stack overflow in Prolog DCG grammar rule: how to handle large lists efficiently or lazily
  12. Using a constrained variable with `length/2`
  13. Complexity of ISO Prolog predicates
  14. Explanation of a Prolog algorithm to append two lists together
  15. list of the values in the leaf nodes of binary tree T
  16. Meaning of instantiation mode indicators in arguments of Prolog predicates
  17. reversible “binary to number” predicate
  18. Collect all “minimum” solutions from a predicate
  19. Knowing when to use cut in prolog
  20. Good beginners material on Prolog [closed]
  21. ‘if’ in prolog?
  22. Prolog: First duplicate value
  23. Should I avoid tail recursion in Prolog and in general?
  24. Prolog append with cut operator
  25. Understanding Difference Lists
  26. Define graph in Prolog: edge and path, finding if there is a path between two vertices
  27. PROLOG: Determining if elements in list are equal if order does not matter
  28. Features of good Prolog code? [closed]
  29. GNU Prolog assert error
  30. How to define (and name) the corresponding safe term comparison predicates in ISO Prolog?

Leave a Comment