我正在努力实现以下目标,但在间距方面没有问题。
图像是我试图实现的,但没有间距问题:
目前,它只是一个带有选项卡的普通列表。
我想通过引入两列来避免选项卡。这可能吗?
当前代码:
egin{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}