[ 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 @/1).

See Also

all_solutions / 2, first_solution / 1