NAME

Logic::Relational::Goal::Unify - Goal that unifies two terms.