core.unify - 単一化をサポートするClojureライブラリ（この記事はClojure Contrib Library Advent Calendar 2013の11日目の記事です） 概要core.unifyは「単一化」をClojureで扱うためのライブラリです。作者は『Joy of Clojure』の著者の一人、Fogusさんです。 単一化はPrologなど論理プログラミングなどで使われる処理で、与えられた条件から未知の値を推論する仕組みです。単一化自体について詳しく説明するのは私には難しいので、詳しくはWikipedia等で調べて下さい;−） ユニフィケーション - Wikipedia 抽象度が高いライブラリなので利点が分かりにくいですが、同じくFogusさんの作ったcore.constractsで使われているそうです。 fogus: Using unification to write readable Clojure macros? Clo
