diff --git a/src/prolog/lib/format.pl b/src/prolog/lib/format.pl
index e574c728c..910912774 100644
--- 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 = '.')).