[ library(ic_gap_sbds) | 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