unification (pub): An implementation of logical first-order unification for logic programming in dart. 
Keywords: algorithm|dart|flutter|flutter-package|logic|pattern-matching|unification