Clojurians Log v2

Because it occurs to me that rules like this are just like basic syllogisms (which I'm sure others have observed long before me here) I put together a dead-simple example of making the rules engine do modus ponens from basic propositional logic. https://github.com/mpettis/clara-lien/blob/master/src/clara_lein/ex07.clj

And a slightly more complicated example here too. I'm just experimenting, not saying this is the optimal way to do this, but it is just fleshing out some thoughts and analogies that might be useful for others teaching rules-engines concepts. criticisms welcome. https://github.com/mpettis/clara-lien/blob/master/src/clara_lein/ex08.clj

I don’t believe that the rhs should be wrapped in a vector, https://github.com/mpettis/clara-lien/blob/master/src/clara_lein/ex07.clj#L28

my reasoning with this nit is, that the clara wraps the rhs inside a fn and executes it when the lhs is satisfied. basically something like:

(fn [bindings] 
  <original form>)

this is good... i was getting some wierd nested results when I ran (but still had right answers). I'll remove and see if that does what's expected; i didn't notice I had wrapped that...

... guess i'm a little surprised it worked in the original, now that I see it...

I should add that clara also wraps the RHS form in a do when you use defrule.

(fn [bindings] 
  (do 
     <form>))