🚀 go-pugleaf

in his article ok@goanna.cs.rmit.oz.au commenting on the questions of
dave8@and.cs.liv.ac.uk:

>Parentheses in Prolog have *NO* semantic effect,
>they are *solely* a device for controlling grouping.  It follows that
>	( P -> Q ) ; R
>*MUST* be the data structure
>	;( ->( P, Q ), R )
>and it is this data structure which bears the meaning "if then else",
>*not* the surface syntax.  

This last point shows a design decision in earlier Prologs which now
and then causes problems.

ok ends with some words of wisdom:

>The rule of thumb is to never use P->Q on its own.  This is doubly
>advisable because there are otherwise excellent Prolog systems
>which interpret a bare P->Q as P->Q;true.
>
>> Is this a parser problem or not?
>
>No, it is a parser WORKING.

Just because it is "WORKING" doesn't mean the design is not 
unnecessarily confusing.

The design decision to use A->B;C for if-then-else wasn't very clever
in my opinion. I hope the standard will not be backwards compatible on
this point. Even 'A->B|C' would be much better, if '|' was not immediately
translated into ';'. Maybe we could use some other operator when we are not 
talking about disjunctions.

---Read Richard's book, someone might quote it, and you better be informed.


--
Thomas Sjoeland
SICS, PO Box 1263, S-164 28 KISTA, SWEDEN
Tel: +46 8 752 15 42  Fax: +46 8 751 72 30
Internet: alf@sics.se 
......