Package-level declarations

The unificator of the argumentation solvers: the default one, without the occurs check unless explicitly requested (as in unify_with_occurs_check/2), as in standard Prolog, computed in a single pass (see Unification).