initial tests for friebyrd

lib/friebyrd.js

@@ -102,8 +102,6 @@
 
   })();
   F.ignorance = new Bindings();
-  F.$x = F.lvar("x");
-  F.$y = F.lvar("y");
   F.unify = function(l, r, bindings) {
     var t1, t2;
 
@@ -127,13 +125,8 @@
   };
   F.goal = function(l, r) {
     return function(bindings) {
-      var result;
-
-      result = F.unify(l, r, bindings);
-      if (result !== null) {
-        return F.succeed(result);
-      }
-      return F.fail(bindings);
+      var result = F.unify(l, r, bindings);
+      return (result !== null) ? F.succeed(result) : F.fail(bindings);
     };
   };
   F.run = function(goal) {

spec/friebyrd.spec.js

@@ -0,0 +1,57 @@
+describe("friebyrd", function() {
+
+    describe("Goals", function() {
+
+        describe("fail", function() {
+            it("returns an empty list for any arguments", function() {
+                expect(F.fail(5)).toEqual([]);
+            });
+        });
+
+        describe("succeed", function() {
+            it("returns a list containing its (first) argument", function() {
+                expect(F.succeed(5)).toEqual([5]);
+            });
+        });
+
+        describe("unify", function() {
+            it("returns the substitution object on success", function() {
+                var q = F.lvar("q");
+                var b = F.unify(true, q, F.ignorance);
+                expect(b.binds).toEqual({q: true});
+            });
+        });
+    });
+
+    describe("Logic Engine", function() {
+        describe("run", function() {
+            it("returns an empty list if its goal fails", function() {
+                var q = F.lvar("q");
+                var p = F.lvar("p");
+                expect(F.run(F.fail)).toEqual([]);
+                expect(F.run(F.goal(1, false))).toEqual([]);
+                expect(F.run(F.goal(1, null))).toEqual([]);
+                expect(F.run(F.goal(false, 1))).toEqual([]);
+                expect(F.run(F.goal(null, 1))).toEqual([]);
+                expect(F.run(F.goal(2, 1))).toEqual([]);
+            });
+
+            it("returns a non-empty list if its goal succeeds", function() {
+                var q = F.lvar("q");
+                var b = F.run(F.succeed);
+                expect(b instanceof Array).toBe(true);
+                expect(b[0].binds).toEqual({});
+                b = F.run(F.goal(q, true));
+                expect(b instanceof Array).toBe(true);
+                expect(b[0].binds).toEqual({q: true});
+            });
+
+/**/            
+        });
+    });
+/**/
+});
+
+
+
+

test.html

@@ -18,9 +18,9 @@
   <script type="text/javascript" src="https://raw.github.com/documentcloud/underscore-contrib/master/underscore.object.selectors.js"></script>
 
   <script type="text/javascript" src="lib/friebyrd.js"></script>
-  <script type="text/javascript" src="https://raw.github.com/bodil/lolkanren/master/kanren.js"></script>
 
   <!-- include spec files here... -->
+  <script type="text/javascript" src="spec/friebyrd.spec.js"></script>
 
   <script type="text/javascript">
     (function() {