stringtranslate.com

Prólogo de Quinto

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.

Historia

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 , SICS todavía mantiene Quintus. [1] [4]

Características

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]

Legado

Implementaciones de Prolog y sus influencias mutuas.

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]

Ver también

Referencias

  1. ^ abcdefgh Körner, Philipp; Leuschel, Michael; Barbosa, João; Costa, Vítor Santos; Dahl, Verónica; Hermenegildo, Manuel V.; Morales, José F.; Wielemaker, enero; Díaz, Daniel; Abreu, Salvador; Ciatto, Giovanni (noviembre de 2022). "Cincuenta años de prólogo y más allá". Teoría y práctica de la programación lógica . 22 (6): 776–858. doi : 10.1017/S1471068422000102 . hdl : 10174/33387 . ISSN  1471-0684.
  2. ^ John AN Lee (1995). "Cuthbert C. Hurd". Diccionario biográfico internacional de pioneros de la informática. Taylor y Francis para IEEE Computer Society Press. págs. 388–389. ISBN 978-1-884964-47-3.
  3. ^ David E. Weisberg (2008). "Intergrafía" (PDF) . La revolución del diseño de ingeniería: las personas, las empresas y los sistemas informáticos que cambiaron para siempre la práctica de la ingeniería . Archivado desde el original (PDF) el 7 de julio de 2010 . Consultado el 26 de mayo de 2010 .
  4. ^ "Página de inicio de Quintus Prolog". quintus.sics.se . Consultado el 12 de noviembre de 2023 .
  5. ^ Nässén, Henrik; Carlsson, Mats; Sagonas, Konstantinos (5 de septiembre de 2001). "Fusión de instrucciones y especialización en la máquina virtual SICStus Prolog". Actas de la 3ra conferencia internacional ACM SIGPLAN sobre principios y práctica de la programación declarativa . Nueva York, NY, Estados Unidos: ACM. doi :10.1145/773184.773191.

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.