Vars in clojure.contrib.datalog.softstrat