From CPolitini@colonial.com.au  Thu May 11 05:33:56 2000
Received: from ntimel09.colonial.com.au (smtp3.colonial.com.au [140.168.245.97])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id FAA24760
	for <prolog@swi.psy.uva.nl>; Thu, 11 May 2000 05:33:52 +0200 (MET DST)
Received: from ntxmel05.cmutual.com.au (unverified) by ntimel09.colonial.com.au
 (Content Technologies SMTPRS 4.0.1) with ESMTP id <B8ca8f5614c1cc10006@ntimel09.colonial.com.au> for <prolog@swi.psy.uva.nl>;
 Thu, 11 May 2000 13:32:04 +1000
Received: by ntxmel05.cmutual.com.au with Internet Mail Service (5.5.2448.0)
	id <KWB1LQVQ>; Thu, 11 May 2000 13:33:29 +1000
Message-ID: <11D5AC2907F2D2118A210008C74C88E2DF41AD@NTXSUV01>
From: "Politini, Cohen" <CPolitini@colonial.com.au>
To: prolog@swi.psy.uva.nl
Subject: operators
Date: Thu, 11 May 2000 13:29:58 +1000
X-Mailer: Internet Mail Service (5.5.2448.0)

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 ??

