| 
 | GNU Prolog for Java | |||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| 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 | 
| 
 | GNU Prolog for Java | |||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||