As a learning exercise, I am trying to write a differentiation program (on the lines of LEIBNIZ in Tanimoto's AI book).
I would like to assert: (differentiate x x) and receive an answer of 1. Similarly, (differentiate (power x 2) x) and receive (* 2 x) as the answer; etc. I try to write a rule such as (defrule rule1 (differentiate ?X ?X) => (assert (answer 1)) This seems to work OK. However, (defrule rule2 (differentiate (power ?X ?N) ?X) => (assert (answer (* ?N (power ?X (- ?N 1)))))) doesn't work at all. I'd appreciate any help towards writing such rules. Thanks. T.M. Rao -------------------------------------------------------------------- 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] --------------------------------------------------------------------
