On Mon, Apr 11, 2011 at 2:01 PM, Vagif Verdi <vagif.ve...@gmail.com> wrote:
> Can it be used as an inference (rule) engine ?
You can now -
(defrel man p)
(fact man 'Bob)
(fact man 'John)
(fact man 'Ricky)
(defrel woman p)
(fact woman 'Mary)
(fact woman 'Martha)
(fact woman 'Lucy)
(defrel likes p1 p2)
(fact likes 'Bob 'Mary)
(fact likes 'John 'Martha)
(fact likes 'Ricky 'Lucy)
(run* [q]
(exist [x y]
(likes x y)
(== q [x y]))) ; ([Bob Mary] [John Martha] [Ricky Lucy])
Cheers!
David
--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
