That's exactly what I wanted to do. Say, be able to write (sat '[p q] '(and p q))
and I tried working out a function that does this. I've seen examples of functions on logic variables, but in this case how could we create fresh logic variables out of these symbols? That seems like something we would need to be able to feed into the macro at compile-time. On Dec 23, 11:29 pm, David Nolen <dnolen.li...@gmail.com> wrote: > On Fri, Dec 23, 2011 at 4:10 PM, Peteris <peteris.er...@gmail.com> wrote: > > Hi, > > > I wrote a simple SAT solver macro on top of core.logic today (code at > >http://peteriserins.com/2011/12/23/sat-in-clojure-core-logic.html). Is > > it possible to write a similar SAT solver that would accept expression > > arguments at runtime (say, a SAT function, but not necessarily). > > > Regards > > -- > > Peteris Erins > > You could change sat to take the unevaluated expression and the symbols > that represent the variables. Do you have some examples illustrating the > kinds of things you would like to do? > > David -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en
