| • 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:
display/1)
print/[1,2] (user:portray/1)
listing/[0,1] does,
except original variable names are not retained
(portray_clause/[1,2])