MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
For current customers, we continue to provide
professional support for IF/Prolog until Dec 31, 2008.
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.
|
