Я пытаюсь добиться следующего, но без проблем в интервале.
Изображение - это то, чего я пытаюсь достичь, но без проблем с пробелами:
На данный момент это обычный список с табуляцией.
Я хочу избежать табуляции, введя два столбца.Это возможно?
Текущий код:
\begin{lstlisting}[caption=Elements of time in the background knowledge, label=btime]
year(Y):- hour(H):-
Y in 2000..2011. H in 0..23.
month(M):- minute(M):-
M in 1..12. M in 0..59.
day_of_month(D):- seconds(S):-
D in 1..31. minute(S).
date([D, M, Y]):- time([H,M]):-
year(Y), hour(H),
month(M), minute(M).
day_of_month(D).
\end{lstlisting}