gnu.prolog.vm.buildins.unification
Classes
Predicate_not_unifiable
Predicate_unify
Predicate_unify_with_occurs_check