This function creates and returns a goal that limits the exploration of the search tree defined by goal
, as specified by limit
.
A goal imposing the search tree defined by goal
to search limit limit
.
All nodes in a subtree that have not yet been explored when the limit for that subtree is reached will be discarded.