我正在尝试实现以下功能,但间距没有问题。
图像是我想要实现的,但没有间距问题:
目前这只是一个标签列表的正常列表。
我想通过引入两列来避免标签。这可能吗?
当前代码:
\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}
答案 0 :(得分:2)
这样的事情(结果看起来像THIS)?
\begin{tabular}{p{7cm}p{7cm}}
year(Y):- & hour(H):- \\
\hspace{10mm}Y in 2000..2011. & \hspace{10mm} H in 0..23. \\
& \\
month(M):- & minute(M):- \\
\hspace{10mm} M in 1..12. & \hspace{10mm} M in 0..59. \\
& \\
day\_of\_month(D):- & seconds(S):- \\
\hspace{10mm} D in 1..31. & \hspace{10mm} minute(S). \\
& \\
date([D, M, Y]):- & \hspace{10mm} time([H,M]):- \\
\hspace{10mm} year(Y), & \hspace{15mm} hour(H), \\
\hspace{10mm} month(M), & \hspace{10mm} minute(M). \\
\hspace{10mm} day\_of\_month(D). & \\
\end{tabular}
p{Xcm}
以获得所需的列距离\hspace{Xmm}
以获得所需的缩进
\quad
或\qquad
,但这对您来说可能还不够