|Page 216 of 800||Search internet|
The relations and allow to compare two parse trees while ignoring debugging information.
is true if and denote the same parse tree when disregarding debugging information (t for term). As an example, is true as opposed to which is false.
is true if and have the same principal operator (r for root). As an example, is true.
Finally, compares two lists of terms for equality disregarding debugging information.
|Page 216 of 800||Search logiweb.eu|