|MINERVA superseeded IF/Prolog.
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.