In effetti copiando il tuo esempio, funziona anche a me. Potrebbe dipendere dal fatto che variabile dichiarata nell'head viene inizializzata con un valore stampato in PHP? Cioé così:

codice:
<script>
var prova = <?php echo $prova; ?>;
</script>