portray_clause/2¶

at this point we are ground and we know who we want to list.%

portray_clause(+ S,+ C)*

Write clause C on stream S as if written by listing//00.