From f52c9772a7c1442c8746e3364776adbb8d7b368b Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Mon, 13 Apr 2020 01:21:32 +0200 Subject: [PATCH] also include a newline in portray_clause/1 --- src/prolog/lib/format.pl | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/src/prolog/lib/format.pl b/src/prolog/lib/format.pl index e574c728..91091277 100644 --- a/src/prolog/lib/format.pl +++ b/src/prolog/lib/format.pl @@ -393,7 +393,7 @@ portray_clause(Term) :- maplist(write, Ls). portray_clause_(Term) --> - portray_(Term), ".". + portray_(Term), ".\n". literal(Lit) --> format_("~q", [Lit]). @@ -461,18 +461,18 @@ a :- ?- 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 = '.')). -- 2.54.0