Quintus Prolog es una implementación propietaria del lenguaje de programación Prolog basada en la máquina abstracta de Warren . Originalmente desarrollado por Quintus Computer Science, actualmente es mantenido por SICS . Durante mucho tiempo fue conocido como la implementación de Prolog de mayor rendimiento y, a principios de los años 90, definió un estándar de facto para las implementaciones de Prolog.
Quintus Prolog fue introducido por primera vez en 1984 como una implementación de la recientemente propuesta Warren Abstract Machine por Quintus Computer Science, que había sido fundada para este propósito por David HD Warren , William Kornfeld, Lawrence Byrd, Fernando Pereira y Cuthbert Hurd . [1] Quintus fue vendido a Intergraph Corporation en 1989, [2] [3] y finalmente fue adquirido por SICS en 1998. [1] Después de que varias de sus características se fusionaran en su implementación Prolog SICStus , su versión final fue Quintus 3.5 en 2003. A partir de noviembre de 2023 [update], Quintus todavía es mantenido por SICS. [1] [4]
La sintaxis utilizada por Quintus Prolog se basó en la de DEC-10 Prolog. [1] Durante mucho tiempo fue conocida como la implementación de Prolog de mayor rendimiento y fue la primera en implementar optimizaciones como la fusión de instrucciones y la especialización para la máquina abstracta Warren. [1] [5]
Quintus Prolog se convirtió en un estándar de facto e influyó significativamente en el estándar ISO para Prolog desarrollado en 1995/6. [1] Además, si bien el sistema de módulos previsto por el estándar ISO se desvía del de Quintus, el sistema de módulos de Quintus es de hecho adoptado más ampliamente por las implementaciones modernas de Prolog que el exigido por ISO. [1] Varios otros sistemas Prolog populares , tanto comerciales como basados en investigación, están directamente influenciados por Quintus Prolog, incluidos SICStus , SWI-Prolog , YAP y Ciao . [1]