A version of Prolog developed by Quintus. Development of Quintus Prolog had transferred to the Swedish Institute of Computer Science by December 1998.