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

Fix negation

Browse Source 
(to the broken version of "negation" given in SICP)
This commit is contained in:
Jeremy Dormitzer 2019-07-14 23:03:29 -04:00
parent 7ca03e42d9
commit 60c7eac861
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/sicp_logic/evaluator.clj
View File

@ -19,9 +19,11 @@
(disjoin db (rest disjuncts) input-frames)))) (disjoin db (rest disjuncts) input-frames))))
(defn negate [db operands input-frames] (defn negate [db operands input-frames]
(filter (mapcat
(fn [frame] (fn [frame]
(empty? (qeval db (first operands) [frame]))) (if (empty? (qeval db (first operands) [frame]))
[frame]
[]))
input-frames)) input-frames))
(defn execute [exp] (defn execute [exp]