Next: , Previous: , Up: Predicate Rules   [Contents]


6.3.8 Identity

Identity asserts that any variable is identical to itself.

Identity does not use any references.