Next: , Previous: pr, Up: Predicate Rules


6.3.8 Identity

Assert that any variable is identical to itself.