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

Merge pull request #338 from triska/master

Browse Source 
also include a newline in portray_clause/1
This commit is contained in:
Mark Thom
2020-04-12 20:35:48 -03:00
committed by GitHub
parent ea5203d8c3 f52c9772a7
commit 3e4af1c0a6
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). maplist(write, Ls).
portray_clause_(Term) --> portray_clause_(Term) -->
portray_(Term), ".". portray_(Term), ".\n".
literal(Lit) --> format_("~q", [Lit]). literal(Lit) --> format_("~q", [Lit]).
@@ -461,18 +461,18 @@ a :-
?- nl, portray_clause([a,b,c,d]), nl. ?- nl, portray_clause([a,b,c,d]), nl.
"abcd". "abcd".
?- nl, portray_clause(X), nl. ?- nl, portray_clause(X).
?- nl, portray_clause((f(X) :- X)), nl. ?- 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 = '.')). ?- nl, portray_clause((h :- L = '.')).