but.committee	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)	cs
but.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?	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Kolář, Dušan	cs
dc.contributor.author	Haljuk, Petr	cs
dc.contributor.referee	Křivka, Zbyněk	cs
dc.date.accessioned	2019-05-17T07:19:57Z
dc.date.available	2019-05-17T07:19:57Z
dc.date.created	2017	cs
dc.description.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.	cs
dc.description.abstract	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.	en
dc.description.mark	A	cs
dc.identifier.citation	HALJUK, P. Překladač jazyka Prolog pro .NET [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2017.	cs
dc.identifier.other	106429	cs
dc.identifier.uri	http://hdl.handle.net/11012/69601
dc.language.iso	cs	cs
dc.publisher	Vysoké učení technické v Brně. Fakulta informačních technologií	cs
dc.rights	Standardní licenční smlouva - přístup k plnému textu bez omezení	cs
dc.subject	Prolog	cs
dc.subject	Warren Abstract Machine	cs
dc.subject	logické programování	cs
dc.subject	platforma .NET	cs
dc.subject	Prolog	en
dc.subject	Warren Abstract Machine	en
dc.subject	logic programming	en
dc.subject	.NET platform	en
dc.title	Překladač jazyka Prolog pro .NET	cs
dc.title.alternative	Prolog Compiler for .NET Platform	en
dc.type	Text	cs
dc.type.driver	masterThesis	en
dc.type.evskp	diplomová práce	cs
dcterms.dateAccepted	2017-06-19	cs
dcterms.modified	2020-05-10-16:13:06	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	106429	en
sync.item.dbtype	ZP	en
sync.item.insts	2021.11.12 13:12:47	en
sync.item.modts	2021.11.12 12:34:39	en
thesis.discipline	Informační systémy	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémů	cs
thesis.level	Inženýrský	cs
thesis.name	Ing.	cs

Překladač jazyka Prolog pro .NET

Files

Original bundle

Collections