Překladač jazyka Prolog pro .NET
Loading...
Date
Authors
ORCID
Advisor
Referee
Mark
A
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract
Náplní této diplomové práce je implementace interpretu logického programovacího jazyka Prolog. Práce shrnuje různé přístupy vyhodnocování programů v tomto jazyce, nejvíceprostoru je věnováno popisu Warrenova abstraktního stroje. V práci je navržen způsobzačlenení Prologu do platformy Microsoft .NET a jeho propojení s objektovými jazykyna této platformě. Následně je navržen a implementován interpret a překladač vycházejícíz Warrenova abstraktního stroje včetně propojení s .NET.
This Master's deals with the implementation of the interpreter of logic programming language "Prolog". It summarises the different approaches to evaluation of programs in thislanguage with focus on description of The Warren Abstract Machine. A new way of integratingProlog into The Microsoft .NET platform has been designed as well as its connectionwith object-oriented languages. Subsequently, an interpreter and a compiler based on TheWarren Abstract Machine have been designed and implemented including the connectionto The Microsoft.NET platform.
This Master's deals with the implementation of the interpreter of logic programming language "Prolog". It summarises the different approaches to evaluation of programs in thislanguage with focus on description of The Warren Abstract Machine. A new way of integratingProlog into The Microsoft .NET platform has been designed as well as its connectionwith object-oriented languages. Subsequently, an interpreter and a compiler based on TheWarren Abstract Machine have been designed and implemented including the connectionto The Microsoft.NET platform.
Description
Citation
HALJUK, P. Překladač jazyka Prolog pro .NET [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2017.
Document type
Document version
Date of access to the full text
Language of document
cs
Study field
Informační systémy
Comittee
doc. Dr. Ing. Dušan Kolář (předseda)
prof. Ing. Tomáš Hruška, CSc. (místopředseda)
doc. Ing. Radek Burget, Ph.D. (člen)
doc. Ing. Vladimír Janoušek, Ph.D. (člen)
Ing. Petr Matoušek, Ph.D., M.A. (člen)
Doc. Ing. Ivan Polášek, Ph.D. (člen)
Date of acceptance
2017-06-19
Defence
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm " A ". Otázky u obhajoby: Mohl byste se pokusit zhodnotit paměťovou náročnost vašeho interpretu v porovnání s ostatními implementacemi? Odhalil jste nějaký typ úloh, které budou typicky na vaší implementaci vykonávány pomaleji než na jiných implementacích Prologu pro .NET?
Result of defence
práce byla úspěšně obhájena
Document licence
Standardní licenční smlouva - přístup k plnému textu bez omezení