All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.lib.not_identical_2

java.lang.Object
   |
   +----prolog.Predicate
           |
           +----prolog.CompiledPredicate
                   |
                   +----prolog.lib.not_identical_2

public class not_identical_2
extends CompiledPredicate
not_identical/2 ('\=='/2): Are two Terms different?


Constructor Index

 o not_identical_2()

Method Index

 o exec(Term[], Prolog)
Implements the functionality of the call.
 o toString()

Constructors

 o not_identical_2
 public not_identical_2()

Methods

 o exec
 public boolean exec(Term args[],
                     Prolog p)
Implements the functionality of the call.

Overrides:
exec in class CompiledPredicate
 o toString
 public String toString()
Overrides:
toString in class CompiledPredicate

All Packages  Class Hierarchy  This Package  Previous  Next  Index