- line break tweaking (ugly)

Author: rkaminsk

examples/sort.lp

@@ -1,3 +1,2 @@
 set(1..4).
-next(X,Z) :- 
-  set(X), #false : X < Y, set(Y), Y < Z; set(Z), X < Z.
+next(X,Z) :- set(X), #false : X < Y, set(Y), Y < Z; set(Z), X < Z.

examples/toh_enc.lp

@@ -1,10 +1,10 @@
 % Generate
-{ move(D,P,T) : disk(D), peg(P) } = 1 :- moves(M), T = 1..M.
+{ move(D,P,T) : disk(D), peg(P) } = 1 :- moves(M),  T = 1..M.
 % Define
 move(D,T)   :- move(D,_,T).
 on(D,P,0)   :- init_on(D,P).
 on(D,P,T)   :- move(D,P,T).
-on(D,P,T+1) :- on(D,P,T), not move(D,T+1), not moves(T).
+on(D,P,T+1) :- on(D,P,T), not move(D,T+1),        not moves(T).
 blocked(D-1,P,T+1) :- on(D,P,T), not moves(T).
 blocked(D-1,P,T)   :- blocked(D,P,T), disk(D).
 % Test

language.tex

@@ -890,7 +890,7 @@ \subsubsection{Conditions and Conditional Literals}\label{subsec:gringo:conditio
 The following program uses a literal with a composite condition in the middle of the rule body.
 Note the semicolon `\code{;}' after the condition:
 %
-\lstinputlisting{examples/sort.lp}
+\lstinputlisting[breaklines,breakatwhitespace]{examples/sort.lp}
 %
 The conditional literal in the second rule evaluates to false
 whenever there is an element~\code{Y} between~\code{X} and~\code{Z}.

quickstart.tex

@@ -85,7 +85,7 @@ \subsection{Problem Encoding}
              We below explain how to run the saved files in order to
              solve our Towers of Hanoi puzzle.}%
 %
-\lstinputlisting[basicstyle=\small\ttfamily]{examples/toh_enc.lp}
+\lstinputlisting[breaklines]{examples/toh_enc.lp}
 %
 Note that the variables \var{D}, \var{P}, \var{T}, and \var{M} are used
 to refer to disks, pegs,