Re: [Xsb-development] unification succeeds when it shouldn't?

[paul b. <pau...@md...>]

Hi Terry,

Thanks for the help.  No, the one clause added wasn't enough.  Parens after infix operators on the left hand side of higher precedence infix operators cause syntax errors.  If the lower precedence operator is on the right, there's no problem.  E.g.,

$ xsb
[xsb_configuration loaded]
[sysinitrc loaded]

XSB Version 2.6 (Duff) of June 24, 2003
[i686-pc-linux-gnu; mode: optimal; engine: slg-wam; gc: indirection; scheduling: local]

| ?- a*(b)=C.

*** syntax error
>>>   a * ( b )  <--- HERE? ************
>>>   = C
*** Discarding input ...
| ?- C=a*(b).

C = a * b;

no





Terrance Swift wrote:

> Hi Paul
> 
> We had talked a while ago about syntax errors.  Did you ever get them
> working the way you wanted -- if not, I can change the error formats.
> 
> Terry
> 
> On Fri, 27 Aug 2004, paul broome wrote:
> 
> 
>>$ xsb
>>[xsb_configuration loaded]
>>[sysinitrc loaded]
>>
>>XSB Version 2.6 (Duff) of June 24, 2003
>>[i686-pc-linux-gnu; mode: optimal; engine: slg-wam; gc: indirection; scheduling: local]
>>
>>| ?- (a|b)=(a;b).
>>
>>yes
>>| ?-
>>
>>
>>
>>My cvs is about 2 weeks old but apparently this has been true since version 2.5.  How can I make it fail?  Thanks for your help.
>>
>>  paul
>>
>>
>>
>>
>>-------------------------------------------------------
>>This SF.Net email is sponsored by BEA Weblogic Workshop
>>FREE Java Enterprise J2EE developer tools!
>>Get your free copy of BEA WebLogic Workshop 8.1 today.
>>http://ads.osdn.com/?ad_id=5047&alloc_id=10808&op=click
>>_______________________________________________
>>Xsb-development mailing list
>>Xsb...@li...
>>https://lists.sourceforge.net/lists/listinfo/xsb-development
>>
> 
>