Prolog如何打印列表中的前3个元素

Question

如何打印列表中的前 3 个元素。

我有一个打印方法

print([]).
print([X]) :-    !, write(X).
print([X|T]) :-    write(X),    write(', '),   print(T), nl.

Answer 1

在 Prolog 中，实现迭代的典型方法是递归：

print(0, _) :- !.
print(_, []).
print(N, [H|T]) :- write(H), nl, N1 is N - 1, print(N1, T).

如果达到零或列表为空，则不执行任何操作。如果我们应该做某事，请打印列表中的第一项，计算新的 N 并递归调用自身。

第一个子句中的剪切 (!) 是必要的，否则我们将需要最后一个子句中的 N 条件。

Answer 2

如果你总是至少有树元素那就很简单

 print_first_three([A,B,C|_]) :- print(A), print(B), print(C).