IF/Prolog

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.

A product of Siemens AG, IF/Prolog is an industrial grade implementation of ISO-Prolog in C. Available for UNIX, Windows NT4.0, Windows 98, Windows 95. IF/Prolog V5.1B is Y2K ready.

Specifications
Constraint Technology Package
Applications based on IF/Prolog
Licences for Various Purposes
Prolog related Organizations
Manuals
Web Shop

Up read on...