Logic programs with constrains
Project goals
Constraint Programming is one of the hottest topics in the area of Programming Languages. Integration with Logic Programming makes the appropriate underlying platform for constraints that raises the potential of both programming paradigms. The aim of theproposed project is to: 1) develop new general and efficient methods of constraint satisfaction. Special emphasis will be put on solving over-constraints problems and optimisation problems with respect to preserving declarative character of constraints (their preferences) and problem specification. 2) integrate the developed methods with logic programming environment (Prolog) to get a complete declarative environment for solving problems, particularly from the area of planning and scheduling. Special empasis will be put on modularity of the proposed environment. 3) promote the constraint programming methodology in academy as well as in industry by means of on-line educational materials that will be prepared during the project duration. The proposed
Keywords
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
—
Main participants
Univerzita Karlova / Matematicko-fyzikální fakulta
Contest type
VS - Public tender
Contract ID
—
Alternative language
Project name in Czech
Logické programy s omezujícími podmínkami
Annotation in Czech
Programování s omezujícími podmínkami představuje jedno z nejaktuálnějších témat výzkumu v oblasti programovacích jazyků. Spojením s logickými programováním získalo vhodnou výpočtovou platformu umocňující výhody obou programovacích paradigmat.Cílem navrhovaného projektu je: 1) vytvořit nové obecné metody splňování omezujících podmínek. Zvláštní důraz bude kladen na řešení příliš omezených problémů a optimalizačních problémů s přihlédnutím na zachování deklarativního charakteru omezujících podmínek (jejich preferencí) a specifikace problému. 2) integrovat navržené metody s prostředím logického programování tak, aby bylo získáno kompletní deklarativní prostředí pro řešení problémů především z oblasti plánování a rozvrhování. Zvláštní důraz bude kladen naotevřenost a modularitu navrženého prostředí. 3) propagovat techniky programování s omezujícími podmínkami a to jak na akademických pracovištích tak v průmyslu. Používány budou on-line výukové materiály připravené v průběhu projektu.Navrhovaný
Scientific branches
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
Veľmi pekné teoretické výsledky, navrhované algoritmy boli overované na aplikáciach, vynikajuca prezentácia výsledkov na medzinárodnom fóre, veľmi kvalitná popularizácia výsledkov. Príprava pedagogickych materiálov. Odborný prínos veľmi dobrý. Záverečná
Solution timeline
Realization period - beginning
Jan 1, 1999
Realization period - end
Jan 1, 2002
Project status
U - Finished project
Latest support payment
—
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP/2003/GA0/GA03GA/U/N/9:7
Data delivery date
May 19, 2008
Finance
Total approved costs
665 thou. CZK
Public financial support
540 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
220 thou. CZK
Basic information
Recognised costs
665 CZK thou.
Public support
540 CZK thou.
81%
Provider
Czech Science Foundation
CEP
JC - Computer hardware and software
Solution period
01. 01. 1999 - 01. 01. 2002