Hispanopedia Wiki
Articulo de referencia

XSB

XSB es el nombre de un dialecto del lenguaje de programación Prolog y su implementación, desarrollada en la Universidad de Stony Brook en colaboración con la Universidad Católic...

Hispanopedia WikiContenido en espanolLectura gratuita

XSB es el nombre de un dialecto del lenguaje de programación Prolog y su implementación, desarrollada en la Universidad de Stony Brook en colaboración con la Universidad Católica de Lovaina , la Nueva Universidad de Lisboa , la Universidad de Uppsala y el proveedor de software XSB, Inc.

XSB extiende Prolog con resolución tabulada y HiLog .

Características

XSB es un dialecto compilado de Prolog basado en la Máquina Abstracta de Warren . [ 1 ] A diferencia de los sistemas derivados de Quintus , XSB utiliza un sistema de módulos basado en átomos de Prolog . [ 1 ] Presenta resolución tabulada y admite el lenguaje HiLog (que permite programación lógica de orden superior limitada ). [ 1 ] La tabulación permite a XSB implementar la semántica bien fundamentada [ 1 ] y lo hace adecuado como motor de base de datos deductivo . [ 2 ] La implementación de código abierto de XSB incluye una interfaz para el lenguaje de programación Python. [ 3 ]

Historia

XSB fue desarrollado originalmente en la Universidad de Stony Brook por David S. Warren, Theresa Swift y Kostis Sagonas, y se lanzó en 1993-94. Se basó en el lenguaje SB-Prolog, que también se desarrolló en la Universidad de Stony Brook en 1986, y fue la primera implementación de resolución tabulada . [ 1 ]

Sintaxis

XSB admite los tipos de datos Prolog exigidos por la ISO, como enteros , números de coma flotante y átomos . Los enteros en XSB pueden interpretarse en múltiples bases. Por defecto, los enteros se interpretan en base 10 , pero pueden interpretarse en un rango de bases de 2 a 36. [ 4 ]

Véase también

Referencias

  1. 1 2 3 4 5 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 . arXiv : 2201.10816 . doi : 10.1017/S1471068422000102 . ISSN 1471-0684 . 
  2. ↑ Brass, Stefan; Wenzel, Mario (2019). "Análisis de rendimiento y comparación de sistemas deductivos y bases de datos SQL" (PDF) . En Alviano, Mario (ed.). Datalog 2.0 2019. Actas del taller CEUR. Vol. 2368. pp. 27–38 .  
  3. ↑ Andersen, Carl; Swift, Theresa (2023), "El sistema Janus: un puente hacia nuevas aplicaciones de Prolog" , Prolog: los próximos 50 años , Cham: Springer Nature Switzerland, pp. 93–104 , doi : 10.1007/978-3-031-35254-6_8 , ISBN  978-3-031-35253-9, consultado el 14 de noviembre de 2023
  4. ↑ Swift, Theresa; Warren, David S. (13 de mayo de 2022). Manual del programador del sistema XSB versión 5.0.x.

Lecturas adicionales

  • Warren, David (2020). Programación en Prolog tabulado (PDF) (  Edición preliminar).
  • Swift, Terrance; Warren, David S. (2012). " XSB: Extendiendo Prolog con programación lógica tabulada" . Theory and Practice of Logic Programming . 12 ( 1–2 ): 157–187 . arXiv : 1012.5123 . doi : 10.1017/S1471068411000500 . ISSN 1471-0684 . S2CID 6153112 .  
  • XSB en SourceForge
  • repositorio git de xsb
  • Información sobre Stony Brook Prolog