IF/Prolog 5.0's Constraint Technology Package offers state-of-the-art programming facilities to tackle almost any resource allocation task such as dynamic vehicle scheduling for airlines or railways, production planning and crew rostering.

Moreover, IF/Prolog 5.0 allows the programmer to write clear and precise, declarative programs, which can be easily modified or extended to include further aspects of the problem, in a stepwise manner.

In the following, a number of real-world examples are presented to illustrate the different facilities and programming techniques that can be utilised, to solve your specific resource allocation problem.