On Tuesday, September 5, 2017 at 2:03:36 PM UTC-7, Laverne Schrock wrote: > > > On Tuesday, September 5, 2017 at 1:50:59 PM UTC-5, Russell Mull wrote: >> >> It's not really clear what you're trying to do, so it's hard to offer >> further advice. >> > > Essentially, what I'm trying to do is pass expressions dynamically to > run*. If I hardcode [x] I'm fine, but if I want to be able to derive the > vector from user input, I'm stuck, since I can't seem to figure out how to > associate a symbol that I pass in with the fresh variable introduced with > fresh. >
You want user input to determine the list of logic variables you're passing to 'fresh'? That sounds strange. The analogue in regular Clojure would be to use user input to drive the binding part of a 'let' form. If you want to do code generation go for it, but I'm guessing that's not the right path here. Perhaps you just want to find out a list of things? You could do this by building a list in your logic program and unifying that with the unknown in your run form. - Russ -- 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 --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.