MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
Dedicated technical support for IF/Prolog ended Dec 31 2008.
This site is maintained as a community service only.
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.
| 
