declare(A,outative)

• Subject: declare(A,outative)
• From: Richard Fateman
• Date: Fri, 03 Sep 2010 10:44:17 -0700

  I think you can do  apply1(expres,r1,r2), to save some typing..

You may need more rules like

notone(x):=if x=1 then true else false

matchdeclare(n1, notone);

defrule (r3, A(x(a), n1*y(a)),    n1* A(x(a),y(a)))


RJF

• Prev by Date: declare(A,outative)
• Next by Date: Trigonometric equations
• Previous by thread: declare(A,outative)
• Next by thread: declare(A,outative)
• Index(es):
  • Date
  • Thread