#include <stdio.h>


/* Legge una sequenza di interi  da standard input
   terminante con un carattere non convertibile in intero oppure EOF
   e la stampa gli interi in ordine inverso  */

void printInv(){
  int r,n;
  r = scanf("%d", &n);
  if(r == 1){// e' stato letto un intero n
    printInv();  // ricorsivamente stampo il resto della squenza
    printf("%d ", n); 
  }
}


int main(){
  printInv();
  putchar('\n');
  return 0;
}


/*  DIMOSTRAZIONE DI CORRETTEZZA
    ============================

Per induzione sulla lunghezza della sequenza su standard input

   n1, ...,  nk <end>  (k>=0)

dove <end> e' il carattere di fine della sequenza
(carattere ASCII oppure "enf-of-file").


CASO BASE (k=0)
==============

Se la sequenza e' vuota (non contiene interi, ma solo il carattere
<end> ) la funzione e' corretta.

Infatti, dopo
 
 r = scanf("%d", &n);

r vale 0 se   <end> e' un carattere ASCII oppure
EOF se <end> e' l'"end-of-file".

In entrambi i casi, la funzione non stampa nulla.


PASSO INDUTTIVO (k>0)
====================


Supponiamo che la sequenza contenga k>0 interi

  n1, ...,  nk <end>


Con

r = scanf("%d", &n);

viene letto il primo intero n1 e assegnato a n, inoltre  r vale 1.


La sequenza rimasta su standard input e' 

  n2, ..., nk <end>  (oppure: <end> senza alcun intero )

Poiche' tale sequenza contiene  (k-1) <k interi, per  IPOTESI DI INDUZIONE
la chiamata a

  printInv();

la stampa   in ordine inverso:

   nk, n(k-1), ... , n2   (oppure: se la sequenza e' vuota non stampa nulla)

Con l'istruzione
 

 printf("%d ", n); 

viene stampato 

 n1

Quindi,  si e' stampata l'intera sequenza n1,..., nk in ordine inverso,
e questo dimostra la correttezza della funzione anche in questo caso.

ESERCIZI
========

1) Eseguire passo-passo  la funzione printInv() assumendo che
lo standard input contenga

 1 2 3 4 q


2) Modificare la funzione printInv()  in modo che stampi una virgola
fra un elemento e l'altro.

Ad esempio, se l'input e' 

  1 2 3 4 q

l'output e'

   4, 3, 2, 1


3) Modificare la funzione printInv()  in modo che stampi un punto al termine 
della sequenza.

Ad esempio, se l'input e' 

  1 2 3 4 q

l'output e'

   4 3 2 1.


Suggerimento
============

Occorre aggiungere un parametro in piu':

 void printInv(int p)

- se p=1, la sequenza deve essere terminata da un punto

- se p !=1 , la sequenza non deve terminare  con il punto

Ad esempio, se l'input e' 

  1 2 3 4 q

l'output di printInv(1)

   4 3 2 1.

l'output di printInv(0)

   4 3 2 1






*/