project.clj

exception.sh

Compiling ClojureScript.
(Compiling tests.js from src/test/cljs...)
(Compiling main.js from src/main...)
WARNING: The form (. this toString) is no longer a property access. Maybe you meant (. this -toString) instead?
WARNING: The form (. this toString) is no longer a property access. Maybe you meant (. this -toString) instead?
WARNING: The form (. this toString) is no longer a property access. Maybe you meant (. this -toString) instead?
WARNING: The form (. this toString) is no longer a property access. Maybe you meant (. this -toString) instead?
WARNING: The form (. (js-keys hashobj) sort) is no longer a property access. Maybe you meant (. (js-keys hashobj) -sort) instead?
WARNING: The form (. (js-keys hashobj) sort) is no longer a property access. Maybe you meant (. (js-keys hashobj) -sort) instead?
WARNING: The form (. this toString) is no longer a property access. Maybe you meant (. this -toString) instead?
WARNING: The form (. this toString) is no longer a property access. Maybe you meant (. this -toString) instead?
WARNING: The form (. this toString) is no longer a property access. Maybe you meant (. this -toString) instead?
WARNING: The form (. this toString) is no longer a property access. Maybe you meant (. this -toString) instead?
WARNING: The form (. (js-keys hashobj) sort) is no longer a property access. Maybe you meant (. (js-keys hashobj) -sort) instead?
WARNING: The form (. (js-keys hashobj) sort) is no longer a property access. Maybe you meant (. (js-keys hashobj) -sort) instead?
Mar 23, 2012 7:44:40 PM com.google.javascript.jscomp.LoggerErrorManager println
SEVERE: /Users/dnolen/development/clojure/core.logic/.lein-cljsbuild-compiler-1/cljs/core/logic/tests.js:3: ERROR - required "cljs.core.logic" namespace not provided yet
goog.require('cljs.core.logic');
            ^

ERROR: JSC_LATE_PROVIDE_ERROR. required "cljs.core.logic" namespace not provided yet at /Users/dnolen/development/clojure/core.logic/.lein-cljsbuild-compiler-1/cljs/core/logic/tests.js line 3 : 12
Mar 23, 2012 7:44:40 PM com.google.javascript.jscomp.LoggerErrorManager printSummary
WARNING: 1 error(s), 0 warning(s)
(tests.js compiled in 4.905257 seconds.)
(main.js compiled in 12.574053 seconds.)

gistfile1.clj

(defproject core.logic "0.6.9-SNAPSHOT" 
  :description "A logic/relational programming library for Clojure"
  :parent [org.clojure/pom.contrib "0.0.25"]
  :source-path "src/main/clojure"
  :Dependencies [[org.clojure/clojure "1.4.0-beta3"]]
  :dev-dependencies [[lein-swank "1.4.3"]
                     [lein-cljsbuild "0.1.2"]]
  :cljsbuild {:builds [{:source-path "src/main"
                        :compiler {:optimizations :simple
                                   :pretty-print true}}
                       {:source-path "src/test/cljs"
                        :compiler {:optimizations :advanced
                                   :output-to "tests.js"}}]})

tests.cljs

(ns cljs.core.logic.tests
  (:use-macros
   [clj.core.logic.macros
    :only [run run* == conde fresh defne matche]])
  (:use
   [cljs.core.logic
    :only [lvar lcons -unify -ext-no-check empty-s]]))

(assert (= (-unify empty-s nil 1) false))

(let [x (lvar 'x)
      os (-ext-no-check empty-s x nil)]
  (assert (= (-unify empty-s nil x) os)))

(let [x (lvar 'x)]
  (assert (= (-unify empty-s nil (lcons 1 x)) false)))

(let [x (lvar 'x)]
  (assert (= (-unify empty-s nil {}) false)))

(let [x (lvar 'x)]
  (assert (= (-unify empty-s nil #{}) false)))