Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| GNU Prolog for Java
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

## Package gnu.prolog.vm.buildins.unification

Class Summary
Predicate_not_unifiable | true if two term are not unifiable
Predicate_unify | Unify two terms
Predicate_unify_with_occurs_check | Unify two terms occur check

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| GNU Prolog for Java
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES