length([ ],z). length([_|Xs], s(N)

length([ ],z).
 length([_|Xs], s(N)) :- length(Xs,N).
 This is pure Prolog and will work perfectly everywhere.
 Yeah, it’s a bit annoying to use Peano integers for input/output:

Kết quả (Việt) 1:

chiều dài ([], z). chiều dài ([_| XS], s(N)):-length(Xs,N). Đây là tinh khiết Prolog và sẽ làm việc một cách hoàn hảo ở khắp mọi nơi. có, đó là một chút khó chịu để sử dụng số nguyên Peano cho đầu vào/đầu ra:

Kết quả (Việt) 2:

. Chiều dài ([],
z).  chiều dài ([_ | Xs], s (N)): - Chiều dài (Xs,
N).  Đây là tinh khiết Prolog và sẽ hoạt động hoàn hảo ở khắp mọi nơi
 Yeah, đó là một chút khó chịu đến sử dụng số nguyên Peano cho đầu vào / đầu ra: