Tree Constraint Solving

• Assign trees to variables so that the terms are identical

  • cons(R, cons(B, nil)) = cons(red, L)

• Similar to Gauss-Jordan

• Starts with a set of term equations C and an empty set of term equations S

• Continues until C is empty or it returns false

Previous slide

Next slide

Back to first slide

View graphic version