28/11/12
DOC File: Xem đầy đủ
1. Hàm member
member1(X,[X|T]).
member1(X,[Y|T]):-member1(X,T).
?-
| member1(1,[1,2,3,4]).
Yes
?- member1(X,[1,1,2,3,4]).
X = 1 ;
X = 1 ;
X = 2 ;
X = 3 ;
X = 4 ;
No
?-
2.Hàm
kiểm tra X có thuộc L hay không đây cũng chính là hàm member
kinL(X,[X|T]).
kinL(X,[Y|T]):-kinL(X,T).
?-
| kinL(2,[1,2,3,4]).
Yes
?- kinL(1,[2,3,4]).
No
?- kinl(X,[1,2,3,5]).
Correct to: kinL(X, [1, 2, 3,
5])?
Please answer 'y' or 'n'? yes
X = 1 ;
X = 2 ;
X = 3 ;
X = 5 ;
No
?-
{ 0 nhận xét }