solve.pl -- The sCASP solver

 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.