From tob@world.std.com Tue May 22 02:19:02 2001
Received: from localhost.std.com (ppp0b174.std.com [208.192.101.174])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f4M0J0305347
	for <prolog@swi.psy.uva.nl>; Tue, 22 May 2001 02:19:01 +0200 (MET DST)
Received: (from Tehom@localhost)
	by localhost.std.com (8.9.3/8.9.3) id UAA00703;
	Mon, 21 May 2001 20:14:53 -0400
X-Authentication-Warning: localhost.std.com: Tehom set sender to tob@world.std.com using -f
To: <srsilva@din.uem.br>
Cc: <prolog@swi.psy.uva.nl>
Subject: Re: [SWIPL] Help with the definiton of operators.
References: <AIEFJNHLCEPNEBEBCMLKKEOECDAA.srsilva@din.uem.br>
From: Tom Breton <tob@world.std.com>
Date: 21 May 2001 19:21:13 -0400
In-Reply-To: "Sergio R. P. da Silva"'s message of "Mon, 21 May 2001 16:51:20 -0300"
Message-ID: <m37kzaqoeu.fsf@world.std.com>
User-Agent: Gnus/5.0802 (Gnus v5.8.2) Emacs/20.4
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Lines: 32

"Sergio R. P. da Silva" <srsilva@din.uem.br> writes:

> Hi all,
> 
> Does anybody can explain me why I can't define the operator "@" as having
> precedence 950 in the code below?
> 

I tried it just now, and it gives the expected answers:

Welcome to SWI-Prolog (Version 3.2.9)
Copyright (c) 1993-1999 University of Amsterdam.  All rights reserved.

For help, use ?- help(Topic). or ?- apropos(Word).

1 ?- current_op(P, T, @).

No
2 ?- op(950, yfx, @).

Yes
3 ?- current_op(P, T, @).

P = 950
T = yfx 


Yes
4 ?- 

-- 
Tom Breton, http://world.std.com/~tob

