prova con questo:
Se il file TXT in questione non devi leggerlo e modificarlo manualmente penso sia più comodo se nel file salvi direttamente un array contenente tutti i dati serializzato in modo che sia molto semplice recuperarlo oppure puoi anche partire su una soluzione XML ...Codice PHP:
<?php
$file = "./_vti_log/prenotazioni.txt";
$ciascuna = file($file);
foreach($ciascuna as $t){
$riga = explode("|", $t);
echo "riga[0], riga[1], ...
";
}
?>