replacing sets with vectors inside cxns; reintroduced tagging; `(sem-)category` to `type`

parent 7a5f6fc2
......@@ -73,7 +73,7 @@
; {} Empty Bindings
{:seeds #{f}
:bindings bindings
:matchfacts (disj matchfacts m)})))
:matchfacts (into [] (remove #{m}) matchfacts)})))
(filter some?))
matchfacts)))
delta)]
......@@ -82,8 +82,8 @@
(let [{:keys [matchfacts bindings] :as w} (peek work)]
(if (empty? matchfacts)
(recur (conj success w) (pop work))
(let [mf (first matchfacts)
nmatchfacts (disj matchfacts mf)]
(let [mf (peek matchfacts)
nmatchfacts (pop matchfacts)]
(recur
success
(into (pop work)
......@@ -114,8 +114,8 @@
(let [{:keys [facts mergefacts bindings] :as w} (peek work)]
(if (or (empty? mergefacts) (empty? facts))
(recur (conj success w) (pop work))
(let [mf (first mergefacts)
nmergefacts (disj mergefacts mf)]
(let [mf (peek mergefacts)
nmergefacts (pop mergefacts)]
(recur
success
(into (conj (pop work)
......
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment