[
Group Index
|
Full Index
]
ECLiPSe Kernel: All Solutions
bagof(?Term, +Goal, ?List)
Succeeds if List is the (non-empty) list of all instances of Term such that Goal is provable.
coverof(?Term, +Goal, ?List)
Succeeds if List is the (non-empty) list of all the most general instances of Term such that Goal is provable.
findall(?Term, +Goal, ?List)
List is the (possibly empty) list of all instances of Term such that Goal is provable.
setof(?Term, +Goal, ?List)
Succeeds if List is the (non-empty) ordered list of all instances of Term such that Goal is provable.