From: Markus Triska <triska@metalevel.at>
Date: Tue, 28 Apr 2020 16:27:46 +0000 (+0200)
Subject: mention portray_clause/1 and listing/1
X-Git-Tag: v0.8.123~100^2^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=20b76a703a70e08f6469bfd5fdd3a20efa2ff2e2;p=scryer-prolog.git

mention portray_clause/1 and listing/1
---

diff --git a/README.md b/README.md
index a25a560d..a48295c9 100644
--- a/README.md
+++ b/README.md
@@ -350,7 +350,8 @@ The modules that ship with Scryer&nbsp;Prolog are also called
 * [`format`](src/prolog/lib/format.pl)
   The nonterminal `format_//2` is used to describe formatted output,
   arranging arguments according to a given format&nbsp;string.
-  The predicate `format/2` is provided for impure output.
+  The predicates `format/2`, `portray_clause/1` and `listing/1`
+  provide formatted *impure* output.
 * [`assoc`](src/prolog/lib/assoc.pl)
   providing `empty_assoc/1`, `get_assoc/3`, `put_assoc/4` etc.
   to manage elements in AVL&nbsp;trees which ensure