com.grack.prologmachine
Interface BuiltInPredicate


public abstract interface BuiltInPredicate

The parent interface for all built-in predicates.


Method Summary
 boolean call(Unifiable[] args, PrologMachine m)
          Calls the built-in predicate goal.
 boolean redo(Unifiable[] args, PrologMachine m)
          Calls the built-in predicate goal through backtracking.
 

Method Detail

call

public boolean call(Unifiable[] args,
                    PrologMachine m)
Calls the built-in predicate goal.
Parameters:
args - The arguments passed to the goal.
m - An instance of the PrologMachine.
Returns:
True if the goal succeeds, otherwise false.

redo

public boolean redo(Unifiable[] args,
                    PrologMachine m)
Calls the built-in predicate goal through backtracking.
Parameters:
args - The arguments passed to the goal.
m - An instance of the PrologMachine.
Returns:
True if the goal succeeds, otherwise false.