On Fri, Mar 30, 2012 at 8:20 PM, Gabriel Pickard <wergo...@googlemail.com>wrote:
> I'm trying to build something related [1]: A temporal- and control-flow > reasoner for software in general. My idea was to tie this into logging or > debugging interfaces. > I would be very, very interested in combining this with source-code > reasoning (which might also profit from some shared higher-level logic), > yet inexperienced. > Inexperienced as well :) Hopefully enthusiasm counts for something. I see that you're a Prolog programmer - have you done something like this before in Prolog? 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
