An implementation of Martelli-Montanari unification algorithm for Prolog written in Prolog.