Hi
I have this facts:
(con 1 2)
(con 2 3)
(con 3 7)
and I want to generate the following fact, with all the elements
contained in the facts, but without repeating them:
(con 1 2 3 7)
The rule I wrote searches common elements between facts and asserts a
new one:
(defrule cons
(con $?a ?n $?b)
(con $?c&~$?a ?n $?d&~$?b)
=>
(assert (con $?a $?b ?n $?c $?d))
)
but the rule doesnt fire. Why????
How can I modify it to get the result I expect????
Thanks
Gerardo Becerra
Pontificia Universidad Javeriana
Bogota, Colombia.
--------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]'
in the BODY of a message to [EMAIL PROTECTED], NOT to the list
(use your own address!) List problems? Notify [EMAIL PROTECTED]
--------------------------------------------------------------------
