Query: length([[a,b],[c,d],[e,f]],

Query: length([[a,b],[c,d],[e,f]], N).
Answer: N=s(s(s(z)))
 Query: length(List, s(s(s(z)))).
Answer: List=[A,B,C]
 But you could use impure Prolog to convert them to “ordinary”
numbers just at input and output time …
yuck?

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

Truy vấn: chiều dài ([[a, b], [c, d], [e, f]], N).Trả lời: N=s(s(s(z))) truy vấn: chiều dài (danh sách, s(s(s(z))).Trả lời: Danh sách = [A, B, C] Nhưng bạn có thể sử dụng không tinh khiết Prolog để chuyển chúng đến "bình thường"số chỉ tại thời gian đầu vào và đầu ra...yuck?

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

Truy vấn:. Chiều dài ([[a, b], [c, d], [e, f]], N)
trả lời: N = s (s (s (z)))
 truy vấn: chiều dài (Danh sách, s ( s (s (z)))).
Trả lời: Danh sách = [A, B, C]
 Nhưng bạn có thể sử dụng bất tịnh Prolog để chuyển đổi chúng để "bình thường"
con số chỉ ở đầu vào và đầu ra thời gian ...
yuck?