Mgr. Miroslava Plachá

Bakalářská práce

Porovnání systémů pro programování s omezujícími podmínkami

Comparison of systems for constraint programming
Anotace:
V této práci jsou porovnány tři odlišné systémy, které se používají pro programování s omezujícími podmínkami. Jsou jimi SICStus Prolog jako zástupce logického programování s omezujícími podmínkami, ILOG Solver – obsáhlá komerční knihovna pro jazyk C++, a Gecode/J – volně dostupná knihovna pro jazyk Java reprezentující nové nástroje pro práci s omezujícími podmínkami, které vznikají v posledních letech …více
Abstract:
This bachelor work compares three different systems for constraint programming. The systems are SICStus Prolog as a representative of constraint logic programming systems, commercial C++ library ILOG Solver and Gecode/J – free library for Java language, which represents new systems in constraint programming. The work is focused on constraint programming over finite domains.
 

Klíčová slova

Gecode/J Ilog Solver omezující podmínky SICStus Prolog systémy pro programování s omezujícími podmínkami
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 18. 5. 2007
Identifikátor: https://is.muni.cz/th/slduv/

Obhajoba závěrečné práce

  • Obhajoba proběhla 21. 6. 2007
  • Vedoucí: doc. Mgr. Hana Rudová, Ph.D.

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky
Složka Odkaz na adresář do lokálního úložiště instituce