rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

use the most recent improvements

Browse Source
This commit is contained in:
Markus Triska
2020-04-19 01:30:56 +02:00
parent 075ca78dd2
commit 45ed9405b0
1 changed files with 15 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

30
src/prolog/lib/format.pl
View File

@@ -55,7 +55,7 @@
Example: Example:
?- phrase(format_("~s~n~`.t~w!~12|", ["hello",there]), Cs). ?- 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. %@ ; false.
I place this code in the public domain. Use it in any way you want. 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]). format_("~t~*|", [Delta]).
/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
?- portray_clause(a), nl. ?- portray_clause(a).
a. a.
?- nl, portray_clause((a :- b)), nl. ?- portray_clause((a :- b)).
a :- a :-
b. b.
?- nl, portray_clause((a :- b, c, d)), nl. ?- portray_clause((a :- b, c, d)).
a :- a :-
b, b,
c, c,
d. d.
?- nl, portray_clause([a,b,c,d]), nl. ?- portray_clause([a,b,c,d]).
"abcd". "abcd".
?- nl, portray_clause(X). ?- portray_clause(X).
?- nl, portray_clause((f(X) :- 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))).
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */