Detail práce

Překladač jazyka Prolog pro .NET

Diplomová práce Student: Haljuk Petr Akademický rok: 2016/2017 Vedoucí: Kolář Dušan, doc. Dr. Ing.
Název anglicky
Prolog Compiler for .NET Platform
Jazyk práce
český
Abstrakt

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.

Klíčová slova

Prolog, Warren Abstract Machine, logické programování, platforma .NET

Ústav
Ústav informačních systémů FIT VUT v Brně
Studijní program
Informační technologie, obor Informační systémy
Soubory
Stav
obhájeno, hodnocení A
Obhajoba
19. června 2017
Oponent
Křivka Zbyněk, Ing., Ph.D.
Průběh obhajoby

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
  1. Mohl byste se pokusit zhodnotit paměťovou náročnost vašeho interpretu v porovnání s ostatními implementacemi?
  2. 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?
Komise
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT), předseda
Burget Radek, doc. Ing., Ph.D. (UIFS FIT VUT), člen
Hruška Tomáš, prof. Ing., CSc. (UIFS FIT VUT), člen
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT), člen
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT), člen
Polášek Ivan, doc. Ing., Ph.D. (FIIT STU), člen
Citace
HALJUK, Petr. Překladač jazyka Prolog pro .NET. Brno, 2017. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2017-06-19. Vedoucí práce Kolář Dušan. Dostupné z: https://www.fit.vut.cz/study/thesis/20031/
BibTeX 
@mastersthesis{FITMT20031,
    author = "Petr Haljuk",
    type = "Diplomov\'{a} pr\'{a}ce",
    title = "P\v{r}eklada\v{c} jazyka Prolog pro .NET",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2017,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/20031/"
}

Závěrečné práce

Nahoru