Unification is an algorithm for solving symbolic equations problems. Given two expressions and some variables, the unification looks for values that can match the given variables to satisfy the equation.
The algorithm implemented in this repository is based on Peter Norvig's paper.
The examples.rkt file shows some examples using
the unify procedure.