marry (npm): Unification for JS
Keywords: unification|prolog