From 45ed9405b0db190bd77de693fad14136b14743b8 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sun, 19 Apr 2020 01:30:56 +0200 Subject: [PATCH] use the most recent improvements --- src/prolog/lib/format.pl | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) diff --git a/src/prolog/lib/format.pl b/src/prolog/lib/format.pl index c0d4c47f..e50b8552 100644 --- a/src/prolog/lib/format.pl +++ b/src/prolog/lib/format.pl @@ -55,7 +55,7 @@ Example: ?- phrase(format_("~s~n~`.t~w!~12|", ["hello",there]), Cs). - %@ Cs = [h,e,l,l,o,'\n','.','.','.','.','.','.',t,h,e,r,e,!] + %@ Cs = "hello\n......there!" %@ ; false. I place this code in the public domain. Use it in any way you want. @@ -444,38 +444,38 @@ indent_to(CurrentColumn, Indent) --> format_("~t~*|", [Delta]). /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -?- portray_clause(a), nl. - a. +?- portray_clause(a). +a. -?- nl, portray_clause((a :- b)), nl. +?- portray_clause((a :- b)). a :- b. -?- nl, portray_clause((a :- b, c, d)), nl. +?- portray_clause((a :- b, c, d)). a :- b, c, d. -?- nl, portray_clause([a,b,c,d]), nl. +?- portray_clause([a,b,c,d]). "abcd". -?- nl, portray_clause(X). -?- nl, portray_clause((f(X) :- X)). +?- portray_clause(X). +?- portray_clause((f(X) :- X)). -?- nl, portray_clause((h :- ( a -> b; c))). +?- portray_clause((h :- ( a -> b; c))). -?- nl, portray_clause((h :- ( (a -> x ; y) -> b; c))). +?- portray_clause((h :- ( (a -> x ; y) -> b; c))). -?- nl, portray_clause((h(X) :- ( (a(X) ; y(A,B)) -> b; c))). +?- portray_clause((h(X) :- ( (a(X) ; y(A,B)) -> b; c))). -?- nl, portray_clause((h :- (a,d;b,c) ; (b,e;d))). +?- portray_clause((h :- (a,d;b,c) ; (b,e;d))). -?- nl, portray_clause((a :- b ; c ; d)). +?- portray_clause((a :- b ; c ; d)). -?- nl, portray_clause((h :- L = '.')). +?- portray_clause((h :- L = '.')). -?- nl, portray_clause(-->(a, (b, {t}, d))). +?- portray_clause(-->(a, (b, {t}, d))). - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ -- 2.54.0