[ 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