All Packages Class Hierarchy This Package Previous Next Index
Class prolog.lib.not_unify_2
java.lang.Object
|
+----prolog.Predicate
|
+----prolog.CompiledPredicate
|
+----prolog.lib.not_unify_2
- public class not_unify_2
- extends CompiledPredicate
not_unify/2: succeeds iff the two argument Terms are
not unifiable. NOTE: does not bind variables if it succeeds - i.e. it
behaves identically to: not(X = Y).
-
not_unify_2()
-
-
exec(Term[], Prolog)
- Implements the functionality of the call.
not_unify_2
public not_unify_2()
exec
public boolean exec(Term args[],
Prolog p)
- Implements the functionality of the call.
- Overrides:
- exec in class CompiledPredicate
All Packages Class Hierarchy This Package Previous Next Index