[mercury-users] Term manipulations in Mercury -- advice requested

[Gregory D. Weber]

Thanks for the tip about functions.  I wasn't expecting a reply, and I
left my mail unattended for a month.  I can use that knowledge to
simplify my code in a few places.

Wow, the mercury-users list has really gotten busy in the past
few weeks!

Greg



Ralph Becket writes:
 > Gregory D. Weber, Wednesday, 30 June 2004:
 > > 
 > > I'm happy to report that I've completed a "toy" version of the rule learning
 > > system in Mercury which works, a sort of "proof of concept" system.
 > > Now I'll be working (with enhanced confidence) on the real thing.
 > 
 > Good to hear that.
 > 
 > > The most difficult conceptual hurdles for me were understanding how
 > > types and modes work for higher-order predicates and functions.
 > 
 > Unfortunately the mode system is a little cumbersome for higher order
 > programming.  A major improvement was making functions with
 > `(in, in, ..., in) = out is det' modes the same as ground.  This way you
 > can at least program in an ordinary functional style without having to
 > worry about complicated modes.
 > 
 > One day we'll get a PhD student to look for a simple solution to the
 > general problem :-)
 > 
 > -- Ralph
 > --------------------------------------------------------------------------
 > mercury-users mailing list
 > post:  mercury-users at cs.mu.oz.au
 > administrative address: owner-mercury-users at cs.mu.oz.au
 > unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
 > subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
 > --------------------------------------------------------------------------
 > 

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------