language aesthetics

[andrew cooke]

Matthew Knepley <knepley at mcs.anl.gov> writes:
>     I thought Mercury (http://www.cs.mu.oz.au/research/mercury) was really
>     interesting. I have not done anything large or seriously with it, but
>     the language concepts are very advanced.

if you're interested in "logic" programming languages, you might want
to check out oz/mozart at http://www.mozart-oz.org/ .  it doesn't have
implicit search like prolog and mercury, but it does support
constraint programming.  it also uses logic variables to good effect
for parallel declarative computing and, finally, has a good
introduction (currently free in draft form, soon to be published by
mit press) at http://www.info.ucl.ac.be/~pvr/

andrew

-- 
http://www.acooke.org