Building critiquing expert systems in Prolog

Critiquing systems differ from classical expert systems in that they produce prose critiques that address a problem situation rather than specific solutions to problems. The generation of prose necessitates additional data structures, the prosenet and the expressive frame, for representation of textural knowledge. These structures encode information for conditional text generation and are conveniently translated into Prolog. The translation of prosenets and expressive frames is described, along with a language and shell for developing critiquing expert systems in Prolog