On Sun, Sep 16, 2012 at 11:52 PM, Alexsandro Soares
<prof.asoa...@gmail.com> wrote:
> (def-->e expr1 [t e]
> ([t1 ?e1] (fresh [tk t2]
> (token '+ tk) (term t2) (expr1 {:binop '+ t1 t2} ?e1)))
> ([_ t] []))
> (def-->e term1 [f t]
> ([f1 ?t1] (fresh [tk f2]
> (token '* tk) (factor f2) (term1 {:binop '* f1 f2} ?t1)))
> ([_ f] []))
You can't use logic variables as keys in maps.
A side note ... the DCG namespace is *very* experimental :)
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
