As a PowerLoom newbie, I started with the logic problem posted at
http://pages.prodigy.net/spencejk/jan2000.htmlBasically it's a matching problem with people and car colors.
I made no progress at all so reduced problem to 2 people and 2 colors.
(defconcept car (?c) :<=> (member-of ?c (setof G P)))
(defconcept person (?c) :<=> (member-of ?c (setof Plum Green)))
(defrelation drives ((?p person) (?c car)))
(assert (or (drives Plum P) (drives Plum G)))
(assert (or (drives Green P) (drives Green G)))
(assert (not (drives Plum P)))
(retrieve all (?x ?y) (and (member-of ?x (setof Plum Green)) (drives ?x ?y)))
The output is Plum G only?
How can I get PowerLoom to iterate so that the first solution is added as a new fact that enables the second solution and so on?
Thanks
