ENHANCED: More explicit generation of HTML descriptions of Prolog terms.