1 files changed, 0 insertions, 72 deletions
diff --git a/src/clojure/contrib/datalog/tests/test_magic.clj b/src/clojure/contrib/datalog/tests/test_magic.clj
deleted file mode 100644
index 7eabae78..00000000
--- a/src/clojure/contrib/datalog/tests/test_magic.clj
+++ /dev/null
@@ -1,72 +0,0 @@
-;;  Copyright (c) Jeffrey Straszheim. All rights reserved.  The use and
-;;  distribution terms for this software are covered by the Eclipse Public
-;;  License 1.0 (http://opensource.org/licenses/eclipse-1.0.php) which can
-;;  be found in the file epl-v10.html at the root of this distribution.  By
-;;  using this software in any fashion, you are agreeing to be bound by the
-;;  terms of this license.  You must not remove this notice, or any other,
-;;  from this software.
-;;
-;;  test-magic.clj
-;;
-;;  A Clojure implementation of Datalog -- Magic Tests
-;;
-;;  straszheimjeffrey (gmail)
-;;  Created 18 Feburary 2009
-
-(ns clojure.contrib.datalog.tests.test-magic
-  (:use clojure.test)
-  (:use clojure.contrib.datalog.magic
-        clojure.contrib.datalog.rules))
-
-
-
-(def rs (rules-set
-             (<- (:p :x ?x :y ?y) (:e :x ?x :y ?y))
-             (<- (:p :x ?x :y ?y) (:e :x ?x :y ?z) (:p :x ?z :y ?y))
-             (<- (:e :x ?x :y ?y) (:b :x ?x :y ?y))
-             (<- (:e :x ?y :y ?y) (:c :x ?x :y ?y))))
-
-(def q (adorn-query (?- :p :x 1 :y ?y)))
-
-(def ars (adorn-rules-set rs q))
-
-(deftest test-adorn-rules-set
-  (is (= ars
-         (rules-set
-          (<- ({:pred :p :bound #{:x}} :y ?y :x ?x) ({:pred :e :bound #{:x}} :y ?y :x ?x))
-          (<- ({:pred :p :bound #{:x}} :y ?y :x ?x) ({:pred :e :bound #{:x}} :y ?z :x ?x)
-                                                    ({:pred :p :bound #{:x}} :y ?y :x ?z))
-          (<- ({:pred :e :bound #{:x}} :y ?y :x ?y) (:c :y ?y :x ?x))
-          (<- ({:pred :e :bound #{:x}} :y ?y :x ?x) (:b :y ?y :x ?x))))))
-
-
-(def m (magic-transform ars))
-
-(deftest test-magic-transform
-  (is (= m
-         (rules-set
-          (<- ({:pred :e :bound #{:x}} :y ?y :x ?y) ({:pred :e :magic true :bound #{:x}} :x ?y) (:c :y ?y :x ?x))
-
-          (<- ({:pred :e :bound #{:x}} :y ?y :x ?x) ({:pred :e :magic true :bound #{:x}} :x ?x) (:b :y ?y :x ?x))
-
-          (<- ({:pred :p :magic true :bound #{:x}} :x ?z) ({:pred :p :magic true :bound #{:x}} :x ?x)
-                                                          ({:pred :e :bound #{:x}} :y ?z :x ?x))
-
-          (<- ({:pred :p :bound #{:x}} :y ?y :x ?x) ({:pred :p :magic true :bound #{:x}} :x ?x)
-                                                    ({:pred :e :bound #{:x}} :y ?z :x ?x)
-                                                    ({:pred :p :bound #{:x}} :y ?y :x ?z))
-
-          (<- ({:pred :e :magic true :bound #{:x}} :x ?x) ({:pred :p :magic true :bound #{:x}} :x ?x))
-
-          (<- ({:pred :p :bound #{:x}} :y ?y :x ?x) ({:pred :p :magic true :bound #{:x}} :x ?x)
-                                                    ({:pred :e :bound #{:x}} :y ?y :x ?x))))))
-
-
-
-
-(comment
-  (run-tests)
-)
-
-;; End of file
-