On Wednesday, September 7, 2016 at 9:31:14 PM UTC+2, Mr. Gogo wrote: > > I'm coming from a background of satisfiability (i use model checkers). > When the negation of claim is satisfiable model checkers gives a > counterexample. I know one trivial way, block a counterexample(add negation > to the conjunction with the query) and get as many as u like but its a > laborious task. > > > How run * in minikanren works that gives all the possible models ? For > example how you can you get for all possible proofs of 2 + 3 = 5 ?? What's > happening under the hood? What is the basic principle ? > > This Looks damn :) >
I guess it depends of the way you build your query. -- You received this message because you are subscribed to the Google Groups "minikanren" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/minikanren. For more options, visit https://groups.google.com/d/optout.
