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

first_solution(+Goal)

Find the first solution to the given goal
Goal
The goal to execute

Description

Finds the first solution for the goal Goal, and prints various statistics about the computation (CPU time taken, number of dominance checks performed, etc.).

Modules

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

See Also

all_solutions / 1, all_solutions / 2