I didn’t know it was possible to build such nice closed-source programs.
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).
Bert Bos and Håkon Wium Lie show off some of Prince’s more advanced CSS and HTML features, including styling page size, generating headers/footers, advanced use of the CSS content attribute, page numbering, cross-references, and table of contents.
Ahh, it turns out Håkon’s Wium Lie (Opera CTO and the guy who first proposed CSS) is on YesLogic’s board, makers of PrinceXML. I’m not sure how I missed that.