Artificial Intelligence Ltd of Watford is very excited about the new 3.0 release of Qunitus Prolog, launched in the UK today, which it says is the first Prolog system that is fully embeddable in C applications: it includes a new Quintus User Interface based on X Window System, supports OSF/Motif, and runs on Sun-3 and Sun-4, and versions for DECstations, IBM RS/6000 and Intergraph 6000 are planned.