uery: length(List, 3), member(7, Li

uery: 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 unbound.

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

uery: chiều dài (danh sách, 3), thành viên (7, danh sách), member(8,List).Câu 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 tôi để xác định chiều dài? các chiều dài ([], 0). chiều dài ([_| XS], N):-Length(XS,M), N là M + 1. Nhưng điều này sẽ gây ra vô hạnđệ quy cho length(List,3). làm thế nào chúng tôi để xác định chiều dài? các chiều dài ([], 0). chiều dài ([_| XS], N):-N > 0,Length(XS,M), N là M + 1. Nhưng điều này sẽ gây ra mộtinstantiation lỗi khi chúng tôirecurse. Chúng tôi sẽ cố gắng để kiểm traM > 0, nhưng M là vẫn toạc.

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

. uery: 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 chưa cam kết.