[mercury-users] Learning Mercury

Tom Davies tgdavies at gmail.com
Mon Aug 13 14:20:11 AEST 2007

Thanks for all the helpful and interesting responses.

Why does Mercury need the 'horizontal' predicate to generate the  
possible values for P2? Prolog (as I understand it) would carry  
uninstantiated values for P2 down its search tree until it can unify  


mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list