A Prolog implementation for use in industrial and commercial environments. It complies with the ISO Prolog standard and runs on UNIX and MS-Windows environments. IF/Prolog has a rich set of interfaces to standard software components and an additional Cons