|
|
|
IF Computer
>
IF/Prolog
>
Constraint Technology Package
|
Constraint Technology Package
|
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.
|
| read on...
|
-
Specification
-
The Constraint Technology Package allows almost any resource allocation task to be handled in a declarative and efficient manner....
-
Application Areas
-
-
Example Programs
-
IF/Prolog 5.0's Constraint Technology Package offers state-of-the-art ...
|
|
|