Program:
 domains
i=integer
predicates
writing(i)
enter(i)
p(i)
start
clauses
	writing(0).
	writing(N):-N1=N-1,writing(N1).
	enter(K):-write("Randul tau K="),readint(K).
	p(1):-write("\nTi-a ramas penultimul chibrit\n").
	p(N):-nl,enter(K),writing(K),
		  M=4-K,write("\nRindul meu K=",M),
	              N1=N-4,p(N1).
	start:-write("Rindul meu K=2"),nl,
	       p(21).