Subject: [SWIPL] Help with the definiton of operators.

From: "Sergio R. P. da Silva" <[email-masked]>
Date: Mon, 21 May 2001 16:51:20 -0300

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.