countEmpty([],0,[]).
countEmpty([1|L],0,[1|L]).
countEmpty([0|T],Cnew,L):-countEmpty(T,C,L),Cnew is C+1.
%--------------------------------------------
listEmpty(_,[],[]).
listEmpty(Index,[0|T],[[Index,C]|L]):-countEmpty([0|T],C,Lnew),I is Index+C,listEmpty(I,Lnew,L).
listEmpty(Index,[1|T],L):-I is Index+1,listEmpty(I,T,L).
%--------------------------------------------
removeSmallPlace([],_,[]).
removeSmallPlace([[_,X]|T],K,L):-removeSmallPlace(T,K,L),X<K,!.
removeSmallPlace([A|T],K,[A|L]):-removeSmallPlace(T,K,L).
%--------------------------------------------
minListIndex([],noFit,_).
minListIndex([[Index,M]],Index,M).
minListIndex([[Index,M]|T],Index,M):-minListIndex(T,_,Min),Min>=M.
minListIndex([[_,M]|T],Index,Min):-minListIndex(T,Index,Min),Min<M.
%--------------------------------------------
moveList(0,L,L).
moveList(K,[_|T],L):-Knew is K-1,moveList(Knew,T,L).
%--------------------------------------------
bestFit(Memory,Data,Index):-listEmpty(0,Memory,EList),length(Data,DLength),removeSmallPlace(EList,DLength,PList),minListIndex(PList,Index,_).
%--------------------------------------------
nextFit(Memory_,Data,CurrentIndex,Index):-moveList(CurrentIndex,Memory_,Memory),listEmpty(0,Memory,EList),length(Data,DLength),removeSmallPlace(EList,DLength,PList),PList=[[I,_]|_],Index is I+CurrentIndex.