Merge pull request #338 from triska/master

also include a newline in portray_clause/1
mthom · Apr 12, 2020 · 9e54b14 · 9e54b14
2 parents ea5203d + f52c977
commit 9e54b14
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/src/prolog/lib/format.pl b/src/prolog/lib/format.pl
@@ -393,7 +393,7 @@
         maplist(write, Ls).
 
 portray_clause_(Term) -->
-        portray_(Term), ".".
+        portray_(Term), ".\n".
 
 literal(Lit) --> format_("~q", [Lit]).
 
@@ -461,18 +461,18 @@
 ?- nl, portray_clause([a,b,c,d]), nl.
 "abcd".
 
-?- nl, portray_clause(X), nl.
-?- nl, portray_clause((f(X) :- X)), nl.
+?- nl, portray_clause(X).
+?- nl, portray_clause((f(X) :- X)).
 
-?- nl, portray_clause((h :- ( a -> b; c))), nl.
+?- nl, portray_clause((h :- ( a -> b; c))).
 
-?- nl, portray_clause((h :- ( (a -> x ; y) -> b; c))), nl.
+?- nl, portray_clause((h :- ( (a -> x ; y) -> b; c))).
 
-?- nl, portray_clause((h(X) :- ( (a(X) ; y(A,B)) -> b; c))), nl.
+?- nl, portray_clause((h(X) :- ( (a(X) ; y(A,B)) -> b; c))).
 
-?- nl, portray_clause((h :- (a,d;b,c) ; (b,e;d))), nl.
+?- nl, portray_clause((h :- (a,d;b,c) ; (b,e;d))).
 
-?- nl, portray_clause((a :- b ; c ; d)), nl.
+?- nl, portray_clause((a :- b ; c ; d)).
 
 ?- nl, portray_clause((h :- L = '.')).