diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix typos

Browse Source
This commit is contained in:
Vítor Santos Costa 2014-10-06 00:00:42 +01:00
parent 800a019a16
commit 8c87eabb22
1 changed files with 9 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
pl/listing.yap
View File

@ -29,7 +29,6 @@
*/ */
/** @pred listing /** @pred listing
@ -177,8 +176,6 @@ listing(Stream, [MV|MVs]) :- !,
/** @pred portray_clause(+ _S_,+ _C_) /** @pred portray_clause(+ _S_,+ _C_)
Write clause _C_ on stream _S_ as if written by listing/0. Write clause _C_ on stream _S_ as if written by listing/0.
*/ */
portray_clause(Stream, Clause) :- portray_clause(Stream, Clause) :-
copy_term_nat(Clause, CopiedClause), copy_term_nat(Clause, CopiedClause),
@ -188,9 +185,7 @@ portray_clause(_, _).
/** @pred portray_clause(+ _C_) /** @pred portray_clause(+ _C_)
Write clause _C_ as if written by listing/0. Write clause _C_ as if written by listing/0.
*/ */
portray_clause(Clause) :- portray_clause(Clause) :-
@ -199,18 +194,15 @@ portray_clause(Clause) :-
'$portray_clause'(Stream, (Pred :- true)) :- !, '$portray_clause'(Stream, (Pred :- true)) :- !,
'$beautify_vars'(Pred), '$beautify_vars'(Pred),
writeq(Stream, Pred), format(Stream, '~q.~n', [Pred]).
format(Stream, '.~n', []).
'$portray_clause'(Stream, (Pred:-Body)) :- !, '$portray_clause'(Stream, (Pred:-Body)) :- !,
'$beautify_vars'((Pred:-Body)), '$beautify_vars'((Pred:-Body)),
writeq(Stream, Pred), format(Stream, '~q :-', [Pred]),
format(Stream, ' :-', []),
'$write_body'(Body, 3, ',', Stream), '$write_body'(Body, 3, ',', Stream),
format(Stream, '.~n', []). format(Stream, '.~n', []).
'$portray_clause'(Stream, Pred) :- !, '$portray_clause'(Stream, Pred) :-
'$beautify_vars'(Pred), '$beautify_vars'(Pred),
writeq(Stream, Pred), format(Stream, '~q.~n', [Pred]).
format(Stream, '.~n', []).
'$write_body'(X,I,T,Stream) :- var(X), !, '$write_body'(X,I,T,Stream) :- var(X), !,
'$beforelit'(T,I,Stream), '$beforelit'(T,I,Stream),
@ -261,6 +253,8 @@ portray_clause(Clause) :-
writeq(Stream,X). writeq(Stream,X).
'$write_disj'((Q;S),I0,I,C,Stream) :- !, '$write_disj'((Q;S),I0,I,C,Stream) :- !,
'$write_body'(Q,I,C,Stream), '$write_body'(Q,I,C,Stream),
format(Stream, '~n~*c;',[I0,0' ]), format(Stream, '~n~*c;',[I0,0' ]),
@ -273,7 +267,9 @@ portray_clause(Clause) :-
'$write_body'(S,I,C,Stream). '$write_body'(S,I,C,Stream).
'$beforelit'('(',_,Stream) :- !, format(Stream,' ',[]). '$beforelit'('(',_,Stream) :-
!,
format(Stream,' ',[]).
'$beforelit'(_,I,Stream) :- format(Stream,'~n~*c',[I,0' ]). '$beforelit'(_,I,Stream) :- format(Stream,'~n~*c',[I,0' ]).
'$beautify_vars'(T) :- '$beautify_vars'(T) :-
@ -303,4 +299,3 @@ portray_clause(Clause) :-
'$list_transform'(L,M). '$list_transform'(L,M).
'$list_transform'(_.L,M) :- '$list_transform'(_.L,M) :-
'$list_transform'(L,M). '$list_transform'(L,M).