Nigiri-zushi Hg
The Environmental Protection Agency are such alarmists.
Mercury is a new, purely declarative logic programming language.
What PrinceXML is coded in, apparently. It’s like Prolog for large systems: declarative, strongly typed and type inferencing, module system, closures, currying, lambdas, and with a strong determinism system. Compiles down to C (as a portable assembler).