IIRC it's one of the few big applications written with Mercury functional logic language.