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

Make API more flexible

Browse Source
This commit is contained in:
Jeremy Dormitzer 2019-07-19 19:53:15 -04:00
parent 04ce4421d0
commit 81c8f01c12
1 changed files with 13 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
src/sicp_logic/core.clj
View File

@ -1,6 +1,6 @@
(ns sicp-logic.core (ns sicp-logic.core
(:require [sicp-logic.binding :refer [instantiate]] (:require [sicp-logic.binding :refer [instantiate]]
[sicp-logic.db :refer [add-assertion add-rule]] [sicp-logic.db :as db]
[sicp-logic.evaluator :refer [qeval]])) [sicp-logic.evaluator :refer [qeval]]))
(defn contract-question-mark [v] (defn contract-question-mark [v]
@ -36,10 +36,17 @@
(defn assert! [db assertion] (defn assert! [db assertion]
"Adds a new assertion to the database." "Adds a new assertion to the database."
(add-assertion db assertion)) (db/add-assertion db assertion))
(defn add-rule! [db rule]
"Adds a new rule to the database."
(db/add-rule db (query-syntax-process rule)))
(defmacro defrule [db conclusion body] (defmacro defrule [db conclusion body]
"Adds a new rule to the database." "Convenience macro to add a new rule to the database.
(let [processed-conclusion (query-syntax-process conclusion)
processed-body (query-syntax-process body)] Usage:
`(add-rule ~db (quote [~processed-conclusion ~processed-body])))) (defrule [grandparent ?x ?y]
(and [parent ?x ?z]
[parent ?z ?y]))"
`(add-rule! ~db (quote [conclusion body])))