gnu.prolog.vm.buildins.allsolutions
Class Predicate_findall
java.lang.Object
   gnu.prolog.vm.ExecuteOnlyCode
gnu.prolog.vm.ExecuteOnlyCode
       gnu.prolog.vm.buildins.allsolutions.Predicate_findall
gnu.prolog.vm.buildins.allsolutions.Predicate_findall
- All Implemented Interfaces: 
- Installable, PrologCode
- public class Predicate_findall 
- extends ExecuteOnlyCode
prolog code
 
 
 
| Method Summary | 
| static void | checkList(Term list)Check that list is a valid Prolog list (including an uninstantiated
 variable)
 | 
|  int | execute(Interpreter interpreter,
        boolean backtrackMode,
        Term[] args)this method is used for execution of code
 | 
| static int | findall(Interpreter interpreter,
        boolean backtrackMode,
        Term template,
        Term goal,
        List<Term> list)
 | 
 
 
| Methods inherited from class java.lang.Object | 
| clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait | 
 
Predicate_findall
public Predicate_findall()
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
 
findall
public static int findall(Interpreter interpreter,
                          boolean backtrackMode,
                          Term template,
                          Term goal,
                          List<Term> list)
                   throws PrologException
- 
- Parameters:
- interpreter- interpreter in which context code is executed
- backtrackMode- true if predicate is called on backtracking and false otherwise
- template-
- goal-
- list-
- Returns:
- either PrologCode.SUCCESS_LASTorPrologCode.FAIL
- Throws:
- PrologException
 
checkList
public static void checkList(Term list)
                      throws PrologException
- Check that list is a valid Prolog list (including an uninstantiated
 variable)
 
- 
- Parameters:
- list- the term to check to see if it is a list
- Throws:
- PrologException- for the various errors when it is not a list.