Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
/*delete(_,[],[]). delete(X,[X|T],[_|T2]):- delete(X,T,T2). delete(X,[H|T],[H|T2]):- X\=H, delete(X,T,T2).*/ %******************************** index([𝑋 |__] , 𝑋, 0). index([__| 𝑇] , 𝑋, Z):- index(𝑇 ,𝑋, D) , Z is D + 1. %********************************* reverse(L1,L2):-reverse(L1,[],L2). reverse([],L,L). reverse([H|T],[_|T3],L2):- reverse(T,[H|T3],L2). %*********************************** replace(_,[],_,[]). replace(X,[X|T],Y,[H|T1]):- replace(X,[H|T],Y,[Y|T1]), replace(X,T,Y,T1). replace(X,[H|T],Y,[H|T1]):- replace(X,T,Y,T1). %************************************ bigger(_,[],[]). bigger(X,[H|T],[H|T2]):- H>X, bigger(X,[H|T],[X|T2]), bigger(X,T,T2). bigger(X,[H|T],[H|T2]):- bigger(X,T,T2).