HAL
Strongly typed, weakly moded, constraint-logic functional language designed to support construction, extension, and use of new constraint solvers.

No queries for www.csse.monash.edu.au/~mbanda/hal