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.