Tato práce ukazuje způsob, jak transformovat vstupní XML dokument do odpovídajícího logického programu, který je zapsán v jazyce Prolog. Budou zmíněny požadavky a omezení kladená na vstupní XML dokument. Po části věnované teoretickým principům transformace bude ukázán program implementovaný v programovacím jazyce Java, který bude možno použít pro transformaci, včetně paralelního zpracování a grafického uživatelského rozhraní.
Anotace v angličtině
This work shows procedure how to transform input XML document into corresponding logic program which is written in Prolog programming language. There will be mentioned requierements and restrictions about input XML document. After chapter devoted to the teoretical principles of transformation this work shows implemented program in Java programming language which is usable for transformation, including paralel transformation principles and graphic user interface.
Klíčová slova
XML, Prolog, logické programování, predikáty
Klíčová slova v angličtině
XML, Prolog, logic programming, predicates
Rozsah průvodní práce
34 s. (53 000 znaků)
Jazyk
CZ
Anotace
Tato práce ukazuje způsob, jak transformovat vstupní XML dokument do odpovídajícího logického programu, který je zapsán v jazyce Prolog. Budou zmíněny požadavky a omezení kladená na vstupní XML dokument. Po části věnované teoretickým principům transformace bude ukázán program implementovaný v programovacím jazyce Java, který bude možno použít pro transformaci, včetně paralelního zpracování a grafického uživatelského rozhraní.
Anotace v angličtině
This work shows procedure how to transform input XML document into corresponding logic program which is written in Prolog programming language. There will be mentioned requierements and restrictions about input XML document. After chapter devoted to the teoretical principles of transformation this work shows implemented program in Java programming language which is usable for transformation, including paralel transformation principles and graphic user interface.
Klíčová slova
XML, Prolog, logické programování, predikáty
Klíčová slova v angličtině
XML, Prolog, logic programming, predicates
Zásady pro vypracování
Seznamte se se sémantikou XML dokumentu a způsobem zápisu logického programu.
Navrhněte aplikaci, která transformuje v interaktivním nebo dávkovém režimu předzpracované XML dokumenty.
V jazyce Java implementujte navrženou aplikaci.
Na testovací sadě dokumentů ověřte správnou funkčnost aplikace.
Zásady pro vypracování
Seznamte se se sémantikou XML dokumentu a způsobem zápisu logického programu.
Navrhněte aplikaci, která transformuje v interaktivním nebo dávkovém režimu předzpracované XML dokumenty.
V jazyce Java implementujte navrženou aplikaci.
Na testovací sadě dokumentů ověřte správnou funkčnost aplikace.