Browsing Bakalářské práce - 18101 by Author "Jiří Skotal"
Now showing items 1-1 of 1
-
Interpreter podmnožiny Prologu pomocí Warren Abstract Machine
Author: Jiří Skotal; Supervisor: Verter Jan Liam; Opponent: Pecka Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-21)Tato práce se zabývá implementací interpreteru pro podmnožinu jazyka Prolog pomocí Warren Abstract Machine. Podrobně popisuje teoretický model Warren Abstract Machine, její vnitřní fungování a nabízí detailní příklady jako ...