ADDED: library(format): DCG nonterminal portray_clause_//1, in analogy to format_//2.

2021-11-07 17:11:00 +01:00
parent e32215e19a
commit a0a01b8ba7
1 changed files with 1 additions and 0 deletions
--- a/src/lib/format.pl
+++ b/src/lib/format.pl
@@ -73,6 +73,7 @@
 :- module(format, [format_//2,
                   format/2,
                   format/3,
+                   portray_clause_//1,
                   portray_clause/1,
                   portray_clause/2,
                   listing/1