APICe » Theses » Class » SaraSabioniISOIOLibrarytuprolog

Sviluppo dei predicati di I/O standard ISO per l' interprete tuProlog 

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.


Enrico Denti (Supervisor)