---

Logic Programs with Constraints

Grant Holder: Roman Bartak

From: Grant Agency of the Czech Republic
Duration: 4 years
Start: 1999

Description of the project: The aim of the project is to:

• develop new general and efficient methods of constraint satisfaction with special emphasis on solving over-constrained and optimisation problems,
• integrate the developed methods with logic programming environment,
• promote the constraint programing paradigm.

---

Advanced Planning and Scheduling

Holder: Roman Bartak

From: InSol, Ltd., Israel (www.insol.co.il)
Start: 1999

Description of the project: The goal of the project is to develop new methods of production planning and scheduling in complex environment like chemical and pharmaceutical industries. We use methods of artificial intelligence, constraint programming and logic programming to schedule a comprehensive collection of resources (producers, stores, movers, tools, workers and budgets).

---

Postgraduate Research Support in Computer Science

Grant Holder: Petr Stepanek

From: Fond rozvoje vysokych skol
Duration: 1 year
Start: 1998

Description of the project: The Grant motivates creative work of postgraduate students related to research projects of the Department in the domain of

• automated generation of logic programs from specifications
• transformations of logic programs
• theorem proving from structured specifications

The project should develop new forms of support of creative work of students in Computer Science in the environment of strong competition of Computer companies.

---

Transformations of Logic Programs

Grant Holder: Petr Stepanek

From: Grant Agency of the Czech Republic
Duration: 3 years
Start: 1996

Description of the project: New transformations of logic programs are constructed with the emphasis on the following fields:

• transformations of programs with built-in predicates
• automated methods of transformations using global information about the program
• techniques of representation of programs
• software support of designed methods.

Skeletons, techniques and joiners are used for the development of programs, meta-interpretation for adding new functionality. These are combined with the unfold/fold transformations.

---

Law Database of European Union

Grant Holder: Petr Stepanek

From: The Council of Higher Education
Duration: 1 year
Start: 1993

Description of the project: Installation of the Justis database in the network of the Law School, Charles University. Training of the users to the query language. Experiments with a query language based on Prolog.