On Sat, Dec 1, 2012 at 12:24 AM, Jonas <jonas.enl...@gmail.com> wrote:
> > * Predicates on logic vars: > [(foo (? x number?)) (bar ?x)] => match (foo 42) but not (foo :bar) > This is now possible since we have constraints. > * Segment vars: > [(* ??x 1 ??y) (* ??x ??y)] => (* 4 3 2 1 2 3 4) would turn into (* 4 > 3 2 2 3 4) > and > [(* ??x 0 ??y) 0] => (* 1 2 3 0 4 5 6 7) would turn into 0 > This has been possible for some time - but you need to extend unification. You need to create a wrapper around sequences and a new kind of logic var. Kevin's work on the partial map (PMap) functionality is a good starting point as well the work I've done on constrained vars (CVar). As far as doing a computer algebra system, I know things like this have been done before in Prolog so I don't see why not. 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
