Short and very accessible introduction to implementing unification, including Python sample code: https://eli.thegreenplace.net/2018/unification/