[mercury-users] Learning Mercury

[Tom Davies]

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  
them.

Thanks,
   Tom

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------