Thesis Details

Překladač jazyka Prolog pro .NET

Master's Thesis Student: Haljuk Petr Academic Year: 2016/2017 Supervisor: Kolář Dušan, doc. Dr. Ing.
English title
Prolog Compiler for .NET Platform
Language
Czech
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.

Keywords

Prolog, Warren Abstract Machine, logic programming, .NET platform

Department
Department of Information Systems FIT BUT
Degree Programme
Information Technology, Field of Study Information Systems
Files
Status
defended, grade A
Date
19 June 2017
Reviewer
Křivka Zbyněk, Ing., Ph.D.
Committee
Kolář Dušan, doc. Dr. Ing. (DIFS FIT BUT), předseda
Burget Radek, doc. Ing., Ph.D. (DIFS FIT BUT), člen
Hruška Tomáš, prof. Ing., CSc. (DIFS FIT BUT), člen
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT), člen
Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS FIT BUT), člen
Polášek Ivan, doc. Ing., Ph.D. (FIIT STU), člen
Citation
HALJUK, Petr. Překladač jazyka Prolog pro .NET. Brno, 2017. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2017-06-19. Supervised by Kolář Dušan. Available from: https://www.fit.vut.cz/study/thesis/20031/
BibTeX 
@mastersthesis{FITMT20031,
    author = "Petr Haljuk",
    type = "Master's thesis",
    title = "P\v{r}eklada\v{c} jazyka Prolog pro .NET",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2017,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/20031/"
}

Theses

Back to top