jdormit/sicp-logic
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix test cases

Browse Source
This commit is contained in:
Jeremy Dormitzer 2019-07-20 14:38:44 -04:00
parent d05d055ec3
commit caefce5e0d
1 changed files with 9 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
tests/sicp_logic/tests.clj
View File

@ -1,5 +1,5 @@
(ns sicp-logic.tests (ns sicp-logic.tests
(:require [clojure.test :refer :all] (:require [clojure.test :as test :refer [deftest is]]
[sicp-logic.core :as logic] [sicp-logic.core :as logic]
[sicp-logic.db.memory :as memdb])) [sicp-logic.db.memory :as memdb]))
@ -46,8 +46,8 @@
(can-do-job (administration secretary) (administration big wheel))] (can-do-job (administration secretary) (administration big wheel))]
rules '[((same ?x ?x)) rules '[((same ?x ?x))
((lives-near ?person-1 ?person-2) ((lives-near ?person-1 ?person-2)
(and (address ?person-1 (?town . ?rest-1)) (and (address ?person-1 (?town & ?rest-1))
(address ?person-2 (?town . ?rest-2)) (address ?person-2 (?town & ?rest-2))
(not (same ?person-1 ?person-2)))) (not (same ?person-1 ?person-2))))
((wheel ?person) ((wheel ?person)
(and (supervisor ?middle-manager ?person) (and (supervisor ?middle-manager ?person)
@ -122,5 +122,9 @@
'[(lives-near (Reasoner Louis) (Bitdiddle Ben)) '[(lives-near (Reasoner Louis) (Bitdiddle Ben))
(lives-near (Aull DeWitt) (Bitdiddle Ben))])) (lives-near (Aull DeWitt) (Bitdiddle Ben))]))
(is (= (logic/query db (and [job ?x [computer programmer]] (is (= (logic/query db (and [job ?x [computer programmer]]
[lives-near ?x [Bitdiddle Ben]])) [lives-near ?x [Hacker Alyssa P]]))
'[(lives-near (Reasoner Louis) (Bitdiddle Ben))])))) '[(and (job (Fect Cy D) (computer programmer))
(lives-near (Fect Cy D) (Hacker Alyssa P)))]))))
(defn run-tests []
(test/run-tests 'sicp-logic.tests))