gnu.prolog.vm.buildins.allsolutions
Class Predicate_findall
java.lang.Object
gnu.prolog.vm.ExecuteOnlyCode
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:
execute in interface PrologCode- Specified by:
execute in class ExecuteOnlyCode
- Parameters:
interpreter - interpreter in which context code is executedbacktrackMode - true if predicate is called on backtracking and false otherwiseargs - 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 executedbacktrackMode - true if predicate is called on backtracking and false otherwisetemplate - goal - list -
- Returns:
- either
PrologCode.SUCCESS_LAST or PrologCode.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.