[ library(ic_gap_sbds) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# all_solutions(+Goal)

Find all solutions to the given goal

Goal
  The goal to execute

## Description

Finds all solutions for the goal Goal, and prints various statistics about the computation (CPU time taken, number of backtracks, etc.).

### Modules

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

## See Also

all_solutions / 2, first_solution / 1