NSCC

z(A:B:C,[D:E:F|G]):-(A=D;B>=F;E>=C),(G=[];z(A:B:C,G)).
u([A|B],C):-z(A,C),(B=[];u(B,C)).
y([],R,R).
y([A,B,C|D],E,R):-y(D,[A:B:C|E],R).
d([A:_|D]):-write(A),tab(1),(D=[];d(D)).
l([H|T],R):-T=[],R=H;length(H,N),l(T,X),length(X,M),(N>M,R=H;R=X).
v([],_,R,R).
v([A|T],Z,B,R):-u(A,A),\+z(Z,A),v(T,Z,[A|B],R);v(T,Z,B,R).
t(S,T):-length(S,L),between(0,L,M),length(T,M),s(S,T).
s([E|T],[F|N]):-E=F,(N=[];s(T,N));s(T,[F|N]).
x(A):-y(A,[],D),K="NSCC":_,select(K,D,E),setof(L,t(E,L),B),v(B,K,[],R),l(R,S),d(S),!.