aboutsummaryrefslogtreecommitdiff
path: root/src/clojure/contrib/datalog/tests/test_magic.clj
diff options
context:
space:
mode:
authorStuart Sierra <mail@stuartsierra.com>2010-01-20 15:39:56 -0500
committerStuart Sierra <mail@stuartsierra.com>2010-01-20 15:39:56 -0500
commit2ede388a9267d175bfaa7781ee9d57532eb4f20f (patch)
treebb42002af196405d7e25cc4e30b4c1c9de5c06d5 /src/clojure/contrib/datalog/tests/test_magic.clj
parent1bc820d96048a6536706ff999e9892649b53c700 (diff)
Move source files into Maven-style directory structure.
Diffstat (limited to 'src/clojure/contrib/datalog/tests/test_magic.clj')
-rw-r--r--src/clojure/contrib/datalog/tests/test_magic.clj72
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
-