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. Dedicated technical support for IF/Prolog ended Dec 31 2008. This site is maintained as a community service only.

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
Prolog related Organizations
Manuals

Up read on...