* [SC] Unified HTML generation for Prolog terms.
* [SC] Split HTML generation for Prolog and generic terms.