Zpět na vyhledávání

Mgr. Miroslava Plachá

Bachelor's thesis

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

Comparison of systems for constraint programming
Abstract:
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 …more
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.
 

Keywords

Gecode/J Ilog Solver omezující podmínky SICStus Prolog systémy pro programování s omezujícími podmínkami
 
Language used: Czech
Date on which the thesis was submitted / produced: 18. 5. 2007
Identifier: https://is.muni.cz/th/slduv/

Thesis defence

  • Date of defence: 21. 6. 2007
  • Supervisor: doc. Mgr. Hana Rudová, Ph.D.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution