ery: length(List, 3), member(7, Lis

ery: length(List, 3), member(7, List), member(8,List).
 Answer: List=[7, 8, X] ;
List=[7, X, 8] ;
List=[X, 7, 8] ;
List=[8, 7, X] ;
List=[8, X, 7] ;
List=[X, 8, 7]
 How do we define length?
 length([], 0).
 length([_|Xs],N) :-
length(Xs,M), N is M+1.
 But this will cause infinite
recursion for length(List,3).
 How do we define length?
 length([], 0).
 length([_|Xs],N) :- N > 0,
length(Xs,M), N is M+1.
 But this will cause an
instantiation fault when we
recurse. We’ll try to test
M > 0, but M is still

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

. ery: chiều dài (Danh sách, 3), thành viên (7, danh sách), thành viên (8, danh sách)
 Trả lời: Danh sách = [7, 8, X];
Danh sách = [7, X, 8];
Danh sách = [X , 7, 8];
Danh sách = [8, 7, X];
Danh sách = [8, X, 7];
Danh sách = [X, 8, 7]
 Làm thế nào để chúng ta xác định chiều dài?
 chiều dài ([], 0) .
 chiều dài ([_ | Xs], N): -
Chiều dài (Xs, M), N là M + 1.
 Nhưng điều này sẽ gây ra vô hạn
đệ quy cho chiều dài (Danh sách, 3).
 Làm thế nào để chúng ta xác định chiều dài?
 chiều dài ([], 0).
 chiều dài ([_ | Xs], N): - N> 0,
chiều dài (Xs, M), N là M + 1.
 Nhưng điều này sẽ gây ra một
lỗi instantiation khi chúng tôi
recurse. Chúng tôi sẽ cố gắng để kiểm tra
M> 0, nhưng M vẫn là