Quintus Prolog es una implementación patentada del lenguaje de programación Prolog basado en Warren Abstract Machine . Desarrollado originalmente por Quintus Computer Science, actualmente es mantenido por SICS . Fue conocida durante mucho tiempo como la implementación de Prolog de mayor rendimiento y, a principios de la década de 1990, definió un estándar de facto para las implementaciones de Prolog.
Quintus Prolog se introdujo 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 se vendió 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 fusionaron en su implementación Prolog SICStus , su versión final fue Quintus 3.5 en 2003. En noviembre de 2023 [actualizar], SICS todavía mantiene Quintus. [1] [4]
La sintaxis utilizada por Quintus Prolog se basó en la de DEC-10 Prolog. [1] Fue conocida durante mucho tiempo 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 Warren Abstract Machine. [ 15]
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 más ampliamente adoptado 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]
Al 12 de noviembre de 2023, este artículo se deriva total o parcialmente de Fifty Years of Prolog and Beyond , escrito por Philipp Körner, Michael Leuschel, Joao Barbosa, Vitor Santos Costa, Veronica Dahl, Manuel V. Hermenegildo, Jose F. Morales. , Jan Wielemaker, Daniel Díaz, Salvador Abreu, Giovanni Ciatto. El titular de los derechos de autor ha otorgado la licencia del contenido de una manera que permite su reutilización según CC BY-SA 3.0 y GFDL . Se deben seguir todos los términos relevantes.