Unify Question

[Brad Seebeck]

Sorry to sound like a broken record but does anyone have any
suggestions on how to start unify? Does it just go through the list of
constraints generated by "generate-constraints" and apply the function
found in the book? And the return type is just a unified list of
constraints correct?

Thanks again!

[Dan Burton]

Yep, just translate those 5 cases from the book into code. You should be passing a list of constraints as well as a substitution list (the latter is empty at first). Repeatedly apply the algorithm (hint: recursion) until you've processed the entire list of constraints (hint: base case).

Dan Burton
801-513-1596