Subject: operators

From: "Politini, Cohen" <[email-masked]>
Date: Thu, 11 May 2000 13:29:58 +1000

I want to declare an operator 'c', so I wrote

:-op(1000,yfx,c).

Then now I want to say that the 'c' in NcR represents something like

operator c = ((N+N) - R)*R.

Cansomeone help me ??