Prolog Compiler for .NET Platform

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.