intelligent solutions

Prolog has established its niche amongst other programming languages as the choice for special purpose use.


IF/Prolog is one of the most well known and respected industrial quality ISO standard Prolog systems in use today.

It draws together the latest developments in the fields of Artificial Intelligence and Operations Research in a logic programming framework. With its interfaces to graphics, Java, C/C++ and relational databases, IF/Prolog can be effectively embedded in a wide range of industrial applications, utilising existing information sources and routines.

Additionally the powerful Constraint Technology Package ensures constraint programming with efficient solutions for complex optimization problems.

Overview
IF/Prolog - Perfection in Prolog and Constraint Programming. ...
Application Development
Proven applications illustrate the multitude of advantages IF/Prolog offers software developers.
Manuals - IF/Prolog V5.3 contains the following manual set: ...
Download - Evaluate IF/Prolog V5.3 for MS-Windows and UNIX yourself ...
Licence Generator - generate your IF/Prolog licence key here ...