|
|
|
IF Computer
>
MINERVA
>
Manual
>
Reference
>
Predicates
>
All Solutions
|
All Solutions
|
|
| read on...
|
-
bagof/3
-
creates a list with all solutions of a goal for all instantiations of...
-
findall/3
-
creates a list with all solutions of a goal according to a given pattern....
-
setof/3
-
creates a sorted list with all solutions of a goal for all instantiations of the free variables in that goal with duplicates removed....
|
|
|
|
|
 |
|
Expert Services on the Web |
|
|
|
|
|
|
|
|
|
|
