Short and very accessible introduction to implementing unification, including Python sample code:
miniblog.
Related Posts
It's odd how lazy evaluation is generally seen as a niche design choice, yet the vast majority of languages treat `foo() || bar()` as short-circuiting.
The niche of short, environment-specific scripts, and the consequences for programming language design choices:
Implementing type checking as another interpreter, with short, accessible examples: