PublicShow sourcesolve.pl -- The sCASP solver

Source 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.