`?X`^`:P`there exists an

`X`such that`P`is provable (used in`setof/3`

and`bagof/3`

)`bagof(`

`?X`,`:P`,`-B`)*ISO*`B`is the bag of instances of`X`such that`P`is provable`findall(`

`?T`,`:G`,`-L`)*ISO*`findall(`

`?T`,`:G`,`?L`,`?R`)`L`is the list of all solutions`T`for the goal`G`, concatenated with`R`or with the empty list`setof(`

`?X`,`:P`,`-S`)*ISO*`S`is the set of instances of`X`such that`P`is provable

Send feedback on this subject.