How to return more than one plan for multiple solutions

[Riadh Tahri]

Hi !

I did not find how can I get more than one plan, when more than one solution can exists.

Thank you for your help :)

[Bruce Frederiksen]

Use prove_goal, as described here.  You get a new plan for each solution.  Plans from prior solutions should still work too, so you can keep multiple plans, if you so desire.

--
You received this message because you are subscribed to the Google Groups "PyKE" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pyke+uns...@googlegroups.com.
To post to this group, send email to py...@googlegroups.com.
Visit this group at http://groups.google.com/group/pyke.
For more options, visit https://groups.google.com/d/optout.