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

also include a newline in portray_clause/1

Browse Source
This commit is contained in:
Markus Triska
2020-04-13 01:21:32 +02:00
parent ea5203d8c3
commit f52c9772a7
1 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -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 = '.')).