I suspect core.logic is the more practical library in many cases. I wrote a disproportionate amount on core.unify because I couldn't find any official docs that approached it from the perspective of someone (e.g. me) who didn't already know all about Prolog and unification in general.