reordered code,weird dependency errors
updated project.clj
modularized code
tests are in the right place
experimental ac matching tried
merge conflict
turned logging of
experimental commutative expression matching
expressions can be created with the with-expresso macro
rules are triples of match transformation and guard
the expressions dictate the specific matching function
the transformation and guard can be normal core.logic relations
expressions can be created with the with-expresso macro
rules are triples of match transformation and guard
the expressions dictate the specific matching function
the transformation and guard can be normal core.logic relations
changed pom.xml to use clojure 1.5.1
fixing pom.xml
define a multimethod for properties of operations
test-rule with relations as guard and transformation
functions properties and propertieso to query the properties of expression
changed conda to conde in expression-matcho
changed conda to conde in expression-matcho
Merge branch 'master' of https://github.com/clojure-numerics/expresso
prepare for seq-matching
simple matching supports seq-match in last position of pattern
first attempt seq-matching in commutative matcher