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

Support bodyless rules with the defrule! macro

Browse Source
This commit is contained in:
Jeremy Dormitzer 2019-07-20 16:12:50 -04:00
parent caefce5e0d
commit 3b410d4ba7
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/sicp_logic/core.clj
View File

@ -42,11 +42,14 @@
"Adds a new rule to the database." "Adds a new rule to the database."
(db/add-rule db (query-syntax-process rule))) (db/add-rule db (query-syntax-process rule)))
(defmacro defrule! [db conclusion body] (defmacro defrule!
"Convenience macro to add a new rule to the database. "Convenience macro to add a new rule to the database.
Usage example: Usage example:
(defrule [grandparent ?x ?y] (defrule [grandparent ?x ?y]
(and [parent ?x ?z] (and [parent ?x ?z]
[parent ?z ?y]))" [parent ?z ?y]))"
`(add-rule! ~db (quote [~conclusion ~body]))) ([db conclusion]
`(add-rule! ~db (quote [~conclusion])))
([db conclusion body]
`(add-rule! ~db (quote [~conclusion ~body]))))