gnu.prolog.vm.buildins.unification
Class Predicate_unify_with_occurs_check
java.lang.Object
   gnu.prolog.vm.ExecuteOnlyCode
gnu.prolog.vm.ExecuteOnlyCode
       gnu.prolog.vm.buildins.unification.Predicate_unify_with_occurs_check
gnu.prolog.vm.buildins.unification.Predicate_unify_with_occurs_check
- All Implemented Interfaces: 
- Installable, PrologCode
- public class Predicate_unify_with_occurs_check 
- extends ExecuteOnlyCode
Unify two terms occur check
 
 
 
 
 
| Methods inherited from class java.lang.Object | 
| clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait | 
 
Predicate_unify_with_occurs_check
public Predicate_unify_with_occurs_check()
execute
public int execute(Interpreter interpreter,
                   boolean backtrackMode,
                   Term[] args)
            throws PrologException
- Description copied from interface: PrologCode
- this method is used for execution of code
 
- 
- Specified by:
- executein interface- PrologCode
- Specified by:
- executein class- ExecuteOnlyCode
 
- 
- Parameters:
- interpreter- interpreter in which context code is executed
- backtrackMode- true if predicate is called on backtracking and false otherwise
- args- arguments of code
- Returns:
- either SUCCESS, SUCCESS_LAST, or FAIL.
- Throws:
- PrologException
 
occurCheck
public static boolean occurCheck(VariableTerm variable,
                                 Term term)
- Perform occur check on variable
 
- 
- Parameters:
- variable-
- term-
- Returns:
- true if term does not contains variable