Interpret a ladící prostředí pro Prolog
| Thesis title in Czech: | Interpret a ladící prostředí pro Prolog |
|---|---|
| Thesis title in English: | Interpret and Debugging Environment for Prolog |
| Academic year of topic announcement: | 2009/2010 |
| Thesis type: | Bachelor's thesis |
| Thesis language: | čeština |
| Department: | Department of Theoretical Computer Science and Mathematical Logic (32-KTIML) |
| Supervisor: | RNDr. Jan Hric |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 24.11.2009 |
| Date of assignment: | 24.11.2009 |
| Date and time of defence: | 16.09.2010 00:00 |
| Date of electronic submission: | 16.09.2010 |
| Date of proceeded defence: | 16.09.2010 |
| Opponents: | doc. RNDr. Pavel Surynek, Ph.D. |
| Guidelines |
| Naprogramujte interpret pro jazyk Prolog (tj. pro jeho netriviální část) a integrujte ho s vizuálním ladícím prostředím. Při návrhu ladícího prostředí se inspirujte v debugeru pro jazyk logického programování Mercury. |
| References |
| Manual jazyka Mercury:
http://www.cs.mu.oz.au/research/mercury/information/doc-release/mercury_user_guide/Debugging.html#Debugging M. Cameron , M. Garica de la Banda , K. Marriott , P. Moulder: ViMer: A Visual Debugger for Mercury. Proceedings of the Fifth ACM-SIGPLAN International Conference on Principles and Practices of Declarative Programming (PPDP?03), ACM, 2003 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.6784 |