How to do a backtracking in SPIN? is it possible at all? Say , I have some rule-chaining in SPIN and want to know what are the preconditions of initial rule providing that we know the post- condition of the last rule. Thanks.
-- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include TopBraid Composer, TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/topbraid-users?hl=en
