[mercury-users] Automatic module initialisation?

[Fergus Henderson]

On 22-Feb-1999, Peeters Wim wrote:
>
> Errmm ...  Maybe a stupid question, but what is HAL ?

>From <http://www.cs.mu.oz.au/research/groups/dl/hal.html>:

 |    HAL is the working title of the new constraint programming language
 |    being developed jointly at the University of Melbourne and Monash
 |    University. HAL combines ideas from Mercury and constraint logic
 |    programming to create a new language. Key features of HAL are: the use
 |    of optional declarations about type, mode and determinism to allow
 |    programs to be compiled to execute very efficiently; a well-defined
 |    solver interface, allowing any kind of solver to be incorporated in
 |    the system; user-extensible dynamic scheduling allowing constraints
 |    solvers, and combinations of constraint solvers to be programmed
 |    easily and efficiently; and the ability to create efficiently
 |    implemented user-defined search strategies.
 |    
 |    People involved in working on HAL presently are [1]Peter Stuckey,
 |    [2]Kim Marriott, [3]Maria Garcia de la Banda, Bart Demoen and
 |    [4]Warwick Harvey.
 ...
 |    1. http://www.cs.mu.oz.au/~pjs
 |    2. http://www.cs.monash.edu.au/~marriott/
 |    3. http://www.cs.monash.edu.au/~mbanda/
 |    4. http://www.csse.monash.edu.au/~wharvey/

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "Binaries may die
WWW: <http://www.cs.mu.oz.au/~fjh>  |   but source code lives forever"
PGP: finger fjh at 128.250.37.3        |     -- leaked Microsoft memo.