Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
deepmember(X, [H|_]):- deepmember(X, H). deepmember(X, [_|T]):- deepmember(X, T). deepmember(X, X). nAnn(X):- X=[H|T], not(H=[_|_]), nAnn(T). nAnn([]). deeplist(L,[X]):- deeplist(L,X). deeplist(L, DL):- DL=[HD|TD], deeplist(DecH,HD), deeplist(DecT,TD), not(TD=[]), append(DecH,DecT,L). deeplist([X],X):- nAnn([X]).