[ library(ic_gap_sbdd) | Reference Manual | Alphabetic Index ]

all_solutions(+Goal, ?NSols)

Find all solutions to the given goal
Goal
The goal to execute
NSols
The number of solutions found

Description

Finds all solutions for the goal Goal, and prints various statistics about the computation (CPU time taken, number of dominance checks performed, etc.). The number of solutions found is unified with NSols.

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

See Also

all_solutions / 1, first_solution / 1