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

From: Tom Breton <[email-masked]>
Date: 21 May 2001 19:21:13 -0400

"Sergio R. P. da Silva" <[email-masked]> 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