Modules - findall

bagof/3, findall/3, setof/3


bagof/3 - finds all solutions to a goal and collects them up into a list.

Usage
:- import(findall).
bagof(Template, Goal, List)
Description
Form a Subgoal from Goal as follows:
  • If Goal does not have the form (A ^ B), then Subgoal is Goal.
  • Otherwise, the Subgoal of Goal is the subgoal of B.
TBD
Errors
Examples
TBD
Compatibility
Standard Prolog, with the added requirement to import the findall module to get the definition of bagof/3.
See Also
findall/3, setof/3

findall/3 - finds all solutions to a goal and collects them up into a list.

Usage
:- import(findall).
findall(Term, Goal, List)
Description
TBD
Errors
Examples
TBD
Compatibility
Standard Prolog, with the added requirement to import the findall module to get the definition of findall/3.
See Also
bagof/3, fuzzy_findall/3, setof/3

setof/3 - finds all solutions to a goal and collects them up into a list.

Usage
:- import(findall).
setof(Term, Goal, List)
Description
TBD
Errors
Examples
TBD
Compatibility
Standard Prolog, with the added requirement to import the findall module to get the definition of setof/3.
See Also
bagof/3, findall/3

Generated on 26 May 2011 for plang by  doxygen 1.6.1