« Suite de Conway » : différence entre les versions

Contenu supprimé Contenu ajouté
Ligne 204 :
<div class="exemple">
<source lang="prolog">
niemeConwayconway(0,[1]).
niemeConwayconway(N,R):- gte(N,1)>0, sub(M, is N,-1), niemeConwayconway(M,L), conwayconwayLigneSuivante(L,R).
 
conwayconwayLigneSuivante([],[]).
conwayconwayLigneSuivante([E],[1,E]).
conwayconwayLigneSuivante([E,E|L],[M,E|R]) :- conwayconwayLigneSuivante([E|L],[N,E|R]), M is N+1.
conwayconwayLigneSuivante([E,F|L],[1,E|R]) :- dif(E,F), conwayconwayLigneSuivante([F|L],R).
</source>
</div>