[ library(ic_gap_sbds) | 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 backtracks, etc.).

### Modules

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

## See Also

all_solutions / 1, all_solutions / 2