Watford, Hertfordshire-based AI International Ltd – the surviving result of a management buyout from defunct Artificial Intelligence Ltd last November – has announced the commercial availability of Quintas Prolog 3.1 for DEC’s DECstation MIPS Computer Systems Inc RISC-based family, IBM’s RS/6000, Intergraph Corp’s RISC machines and Sun Microsystems Inc’s Sun-3 and Sun-4 workstations. The new version is the first Prolog development system to be fully embeddable within C applications, the company claims, thereby enabling intelligent portions of a progam to be written in Prolog and then embedded into C applications. AI distributes Quintas Prolog in the UK for Mountain View, California-based Quintas Computer Systems Inc, which first introduced the product in January 1985, and claims it has since issued 6,000 licences worldwide. It has been used to produce expert systems, CAD/CAM and engineering design tools, database applications, intelligent user interfaces and natural language systems.