[mercury-users] What is HAL?

Peter Ross petdr at cs.mu.OZ.AU
Tue Feb 23 11:31:08 AEDT 1999


On 22-Feb-1999, Peeters Wim <IMCEAEX-_O=BACOB_OU=000_CN=RECIPIENTS_CN=WIPEETER at bacob.be> wrote:
> > 
> Errmm ...  Maybe a stupid question, but what is HAL ?
> 
HAL is a constraint logic programming language which [almost] compiles
to Mercury.

Pete.



More information about the users mailing list