- solve(:Goals, +StackIn, -StackOut, -Model)
- Solve the list of sub-goals Goal where StackIn is the list of
goals already visited and returns in StackOut the list of goals
visited to prove the sub-goals and in Model the model that supports
the sub-goals.