Sara Sabioni
Questa tesi si propone di completare la libreria di predicati per la gestione delle funzionalità di Input/Output nell'interprete tuProlog. A fianco dei predicati già esistenti come standard de iure (come ad esempio tell/1 e see/1) dovranno essere realizzati meccanismi per la gestione degli stream e introdotti i predicati standard de facto (come ad esempio open/3, read_term/2, write_term/2) inclusi nel documento ISO che descrive il linguaggio Prolog e le sue funzionalità di base. A tal fine, sarà anche necessario predisporre una adeguata attività di collaudo atta a verificare il corretto funzionamento della libreria.
