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 :) -- 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.
