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


pagemagnifierpage_white_acrobatmagnifier

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

— thesis student

Sara Sabioni

supervision

— supervisors

Enrico Denti

sort

— cycle

first-cycle thesis

— status

completed thesis

— language

wit.gif

dates

— available since

17/03/2010

— activity started

07/09/2009

— degree date

14/01/2010

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY