From srsilva@din.uem.br Mon May 21 21:56:00 2001
Received: from mail-mx.intranetparana.br (mail-mx.intranetparana.br [200.201.0.166])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f4LJtx329020
	for <prolog@swi.psy.uva.nl>; Mon, 21 May 2001 21:55:59 +0200 (MET DST)
Received: from marte-mx.internetparana.br (marte-mx.internetparana.br [200.201.0.6])
	by mail-mx.intranetparana.br (8.11.1/8.8.7) with ESMTP id f4LKv4D18032
	for <prolog@swi.psy.uva.nl>; Mon, 21 May 2001 16:57:04 -0400
Received: from marte-mx.internetparana.br (localhost [127.0.0.1]) by marte-mx.internetparana.br with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2653.13)
	id LB7DSXG4; Mon, 21 May 2001 16:55:46 -0300
Received: from bambu.din.uem.br (bambu.din.uem.br [200.201.30.11])
	by zeus-cwb.intranetparana.br (8.9.3 (PHNE_18979)/8.9.3) with ESMTP id QAA00453
	for <prolog@swi.psy.uva.nl>; Mon, 21 May 2001 16:51:08 -0300 (SAT)
Received: from cacau09c1 ([200.201.30.178])
	by bambu.din.uem.br (8.11.1/8.8.7) with ESMTP id f4LJnJQ11589
	for <prolog@swi.psy.uva.nl>; Mon, 21 May 2001 16:49:19 -0300
Reply-To: <srsilva@din.uem.br>
From: "Sergio R. P. da Silva" <srsilva@din.uem.br>
To: <prolog@swi.psy.uva.nl>
Date: Mon, 21 May 2001 16:51:20 -0300
Message-ID: <AIEFJNHLCEPNEBEBCMLKKEOECDAA.srsilva@din.uem.br>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Priority: 3 (Normal)
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2911.0)
Importance: Normal
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400
Subject: [SWIPL] Help with the definiton of operators.

Hi all,

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

================================================
Welcome to SWI-Prolog (Version 4.0.5)
Copyright (c) 1990-2000 University of Amsterdam.
Copy policy: GPL-2 (see www.gnu.org)

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

?- op(950, yfx, @).

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

P = 100
T = fx

Yes
?-
===========================
I've this code with another Prologs and it works fine. Is this a problem
with the SWI Prolog only? Does SWI uses the @ as an special symbol?

Thank you very much in advance.

Cheers,

Sergio Silva.

