ENHANCED: more readable indentation of nested disjunctions

Example:

    ?- portray_clause((h :- a ; b ; c)).
    h :-
       (  a
       ;  b
       ;  c
       ).
       true.

diff --git a/src/lib/format.pl b/src/lib/format.pl
index a9c8c32f2fb5c72272bd577f75f21a990ecaa993..823c700ca74138ce4f06cb8cc9cd58e846df3f7c 100644 (file)
--- a/src/lib/format.pl
+++ b/src/lib/format.pl
@@ -528,6 +528,9 @@ else_branch(Else, I, VNs) -->
             body_(If, C, C, VNs), " ->\n",
             body_(Then, 0, C, VNs), "\n",
             else_branch(NextElse, I, VNs)
+        ;   { nonvar(Else), Else = ( A ; B ) } ->
+            body_(A, C, C, VNs), "\n",
+            else_branch(B, I, VNs)
         ;   body_(Else, C, C, VNs), "\n",
             indent_to(0, I),
             ")"