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.