4.6.4 Term Output

• ref-iou-tou-wrt: Writing Terms: the ``Write'' Predicates
• ref-iou-tou-cha: Common Characteristics
• ref-iou-tou-dis: Distinctions Among the ``Write'' Predicates
• ref-iou-tou-dsp: Displaying Terms
• ref-iou-tou-por: Using the Portray Hook
• ref-iou-tou-pcl: Portraying a Clause

Term output operations include:

• writing to a stream (various “write” Predicates)
• displaying, usually on the user's terminal (display/1)
• changing the effects of print/[1,2] (user:portray/1)
• writing a clause as listing/[0,1] does, except original variable names are not retained (portray_clause/[1,2])