GNU Prolog for Java

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
 


GNU Prolog for Java