[mercury-users] Re: Fergus' hack

[Fergus Henderson]

Bart Demoen <bmd at cs.kuleuven.ac.be> writes:

>Fergus wrote:
>> [Bart wrote:]
>> > But adding the extra forward/backward argument to p
>> > gives the impression that the same relation exists between X and Y in
>> > both modes,
>> 
>> Huh?  Why do you think that?
>
>I apologize for making the same mistake over and over again - blame it
>on my age and perception of programming; Fergus is perfectly right,
>the meaning of a logic program does not depend on the actual names of
>the constants and I should never, never, never again find any
>intuitive meaning in the name of the constants.
...
>p106
>
>p107 p108

I take it then that you are objecting to the particular names
that I used in my example, rather than to the technique itself? ;-)
Certainly it is possible to use more informative names, such as say
parse/pretty_print rather than just forward/backward.

--
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.