Generování magických pravidel z ozdobeného logického programu
Date issued
2016
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Západočeská univerzita v Plzni
Abstract
Tato bakalářská práce se zaobírá konstrukcí magických pravidel. Je to důležitá součást Metody magických množin. Metoda magických množin je poměrně komplexní optimalizace vyhodnocování logických programů. Součástí práce je aplikace v Java jazyce. Aplikace implementuje samotný algoritmus konstrukce magických pravidel, pracující s daným textovým vstupem.
Description
Subject(s)
magická pravidla, logické programování, optimalizace vyhodnocování