gnu.prolog.vm.buildins.list
Class Predicate_member
java.lang.Object
   gnu.prolog.vm.ExecuteOnlyCode
gnu.prolog.vm.ExecuteOnlyCode
       gnu.prolog.vm.buildins.list.Predicate_member
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
 
 
 
 
 
 
| Methods inherited from class java.lang.Object | 
| clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait | 
 
Predicate_member
public Predicate_member()
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
 
nextSolution
protected int nextSolution(Interpreter interpreter,
                           Predicate_member.MemberBacktrackInfo bi)
                    throws PrologException
- 
- Parameters:
- interpreter-
- bi-
- Returns:
- PrologCode return code
- Throws:
- PrologException