On Thursday, April 24, 2014 12:43:11 AM UTC+2, Matthew wrote: > > Things like Function threw me off when I melded SymPy with LogPy (my > little logic programming system) or with Theano. It'll be nice for others > to run into these. >
By the way, is there any implementation of MiniKanren in C++? Maybe that in such a case one could try to write some algorithms in a rule-based format (as in MiniKanren), then either load these rules through SymPy and LogPy, or through CSymPy and some other parsing library (or maybe even by template metaprogramming). But I'm just speculating. -- You received this message because you are subscribed to the Google Groups "sympy" 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 http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/1fadc69c-4f8b-4e8c-bcc3-8d743d05a19d%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
