diff --git a/pl/listing.yap b/pl/listing.yap index 1ce9fe3e3..cfde3df8b 100644 --- a/pl/listing.yap +++ b/pl/listing.yap @@ -77,12 +77,16 @@ portray_clause(_). '$beautify_vars'(Pred), writeq(Stream, Pred), '$format'(Stream, ".~n", []). -'$portray_clause'(Stream, (Pred:-Body)) :- +'$portray_clause'(Stream, (Pred:-Body)) :- !, '$beautify_vars'((Pred:-Body)), writeq(Stream, Pred), '$format'(Stream, " :-", []), '$write_body'(Body, 3, ',', Stream), '$format'(Stream, ".~n", []). +'$portray_clause'(Stream, Pred) :- !, + '$beautify_vars'(Pred), + writeq(Stream, Pred), + '$format'(Stream, ".~n", []). '$write_body'(X,I,T,Stream) :- var(X), !, '$beforelit'(T,I,Stream),