我正在尝试实现以下目标,但间距没有问题。
该图像是我想要实现的,但没有间距问题:
目前它只是一个带有标签的普通列表。
我想通过引入两列来避免制表符。那可能吗?
当前代码:
\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}