|
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 | |||||||||