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.

    

Thesis

Supervision

— supervisor
Enrico Denti

Category

1st-Cycle Thesis

Status

completed

Language

wit.gif

Dates

— available since
17/03/2010
— activity started
07/09/2009
— degree date
14/01/2010

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY