Anti-unification, part 5

added by Paul Wheeler
11/7/2018 3:08:31 PM

1 Kicks, 1914 Views

Last time we wrote all the boring boilerplate code for substitutions and trees. Now let's implement the algorithm. As I noted a couple of episodes back, we can reduce the algorithm to repeated application of two rules that mutate three pieces of state: the current generalization, the current substitutions on s, and the current substitutions...