&gt; The sheer number of cases where embedding a little unification engine dramatically simplifies code is pretty baffling.<p>Would love to learn more about this, having done Prolog back in uni. Know of any good articles or posts showcasing &quot;embedding a little unification engine&quot; in modern&#x2F;otherwise-sub-par programming?