Logiweb(TM)

7.9.5 Tree and root equality

Prev Up Next Page 216 of 800 Search internet


The relations x t= y and x r= y allow to compare two parse trees while ignoring debugging information.

x t= y is true if x and y denote the same parse tree when disregarding debugging information (t for term). As an example, quote 2 + 3 end quote t= quote 2 + 3 end quote is true as opposed to quote 2 + 3 end quote = quote 2 + 3 end quote which is false.

x r= y is true if x and y have the same principal operator (r for root). As an example, quote 2 + 3 end quote r= quote 4 + 5 end quote is true.

Finally, x t=* y compares two lists of terms for equality disregarding debugging information.

Prev Up Next Page 216 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05