v+ and v- are now mere aliases for core.logic's nonlvaro and lvaro

cderoove · Feb 4, 2013 · 5364fff · 5364fff
1 parent f82fb40
commit 5364fff
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/EkekoPlugin/libs/core.logic-0.8.0-beta5.jar b/EkekoPlugin/libs/core.logic-0.8.0-beta5.jar
diff --git a/EkekoPlugin/src/damp/ekeko/logic.clj b/EkekoPlugin/src/damp/ekeko/logic.clj
@@ -3,7 +3,7 @@
     :author "Coen De Roover"}
    damp.ekeko.logic 
   (:refer-clojure :exclude [==])
-   (:use [clojure.core.logic]))
+  (:use [clojure.core.logic]))
 
 (defn- 
   ekeko-lvar-sym?
@@ -89,13 +89,13 @@
   v+ 
   "Non-relational. Verifies that logic variable v is ground."
   [v]
-  `(project [~v] (succeeds (not (lvar? ~v)))))
+  `(nonlvaro ~v))
 
 (defmacro
   v-
   "Non-relational. Verifies that logic variable v is not ground."
   [v]
-  `(project [~v] (succeeds (lvar? ~v))))
+  `(lvaro ~v))
 
 
 (defmacro