GNU Prolog for Java

gnu.prolog.vm.buildins.list
Class Predicate_member

java.lang.Object
  extended by gnu.prolog.vm.ExecuteOnlyCode
      extended by gnu.prolog.vm.buildins.list.Predicate_member
All Implemented Interfaces:
Installable, PrologCode

public class Predicate_member
extends ExecuteOnlyCode

Does:

 member(X, [X|_]).
 member(X, [_|Y]):-member(X,Y).
 
But without recursion

Author:
Michiel Hendriks

Nested Class Summary
protected static class Predicate_member.MemberBacktrackInfo
           
 
Field Summary
 
Fields inherited from interface gnu.prolog.vm.PrologCode
FAIL, HALT, SUCCESS, SUCCESS_LAST
 
Constructor Summary
Predicate_member()
           
 
Method Summary
 int execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
          this method is used for execution of code
protected  int nextSolution(Interpreter interpreter, Predicate_member.MemberBacktrackInfo bi)
           
 
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_member

public Predicate_member()
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

nextSolution

protected int nextSolution(Interpreter interpreter,
                           Predicate_member.MemberBacktrackInfo bi)
                    throws PrologException
Parameters:
interpreter -
bi -
Returns:
Throws:
PrologException

GNU Prolog for Java