Go to the first, previous, next, last section, table of contents.


All solutions predicates

Author(s): First version by Richard A. O'Keefe and David H.D. Warren. Changes by Mats Carlsson, Daniel Cabeza, and Manuel Hermenegildo.

Version: 1.3#120 (1999/11/26, 12:5:17 MET)

Version of last change: 0.7#9 (1998/9/23, 19:34:28 MEST)

This module implements the standard solution aggregation predicates.

When there are many solutions to a problem, and when all those solutions are required to be collected together, this can be achieved by repeatedly backtracking and gradually building up a list of the solutions. The following built-in predicates are provided to automate this process.

Usage and interface (aggregates)

Documentation on exports (aggregates)

PREDICATE: setof/3:

Meta-predicate with arguments: setof(?,goal,?).

Usage: setof(@(Template),+Generator,?(Set)) * ISO *

PREDICATE: bagof/3:

Meta-predicate with arguments: bagof(?,goal,?).

Usage: bagof(@(Template),+Generator,?(Bag)) * ISO *

PREDICATE: findall/3:

Meta-predicate with arguments: findall(?,goal,?).

Usage: findall(?(Template),+Generator,?(List)) * ISO *

PREDICATE: findall/4:

No further documentation available for this predicate.

Meta-predicate with arguments: findall(?,goal,?,?).

PREDICATE: ^/2:

Usage: X ^ P


Go to the first, previous, next, last section, table of contents.