gnu.prolog.vm.buildins.unification
Class Predicate_not_unifiable

java.lang.Object
  gnu.prolog.vm.ExecuteOnlyCode
      gnu.prolog.vm.buildins.unification.Predicate_not_unifiable

All Implemented Interfaces:

Installable, PrologCode

public class Predicate_not_unifiable
extends ExecuteOnlyCode

true if two term are not unifiable

Field Summary

Fields inherited from interface gnu.prolog.vm.PrologCode

FAIL, HALT, SUCCESS, SUCCESS_LAST

Constructor Summary

Predicate_not_unifiable()

Method Summary

int	execute(Interpreter interpreter, boolean backtrackMode, Term[] args) this method is used for execution of code

Methods inherited from class gnu.prolog.vm.ExecuteOnlyCode

install, uninstall

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Predicate_not_unifiable

public Predicate_not_unifiable()

Method Detail

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:

execute in interface PrologCode

Specified by:

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