XSB
XSB è il nome di un dialetto del linguaggio di programmazione Prolog. La sua implementazione è sviluppata presso la Stony Brook University in collaborazione con la Katholieke Universiteit Leuven, la Nuova Università di Lisbona, l'Università di Uppsala e il fornitore di software XSB.
XSB estende Prolog con il tabling e HiLog (estensione standard di Prolog che permette un limitato utilizzo di programmazione logica di ordine superiore).
L'implementazione XSB open source include un'interfaccia per il linguaggio di programmazione Java.
Storia modifica
XSB è stato originariamente sviluppato presso la Stony Brook University da David S. Warren, Terrance Swift e Kostis Sagonas. Era basato sul linguaggio SB-Prolog, anch'esso sviluppato alla Stony Brook University nel 1986.[1][2] È un linguaggio di programmazione logica.
Sintassi modifica
XSB supporta diversi tipi di dati del linguaggio di programmazione standard come numeri interi, numeri floating point e atomi.
Gli interi in XSB possono essere interpretati in più basi. Di default gli interi sono interpretati in base 10 ma possono essere interpretati in un intervallo di basi da 2 a 36.[3]
Gli atomi sono simili alle stringhe. Sono una sequenza di caratteri.
Note modifica
Bibliografia modifica
- T. Swift e DS Warren (2011), XSB: Estendere il potere del Prolog usando Tabling [1] . Teoria e pratica della programmazione logica (TPLP), Cambridge University Press, 2011.
- K. Sagonas e T. Swift e DS Warren (1994), XSB come efficiente motore di database deduttivo [2] . Atti della Conferenza internazionale ACM SIGMOD sulla gestione dei dati, 1994.
- T. Swift e DS Warren (1995), Una macchina astratta per la risoluzione SLG: programmi definiti [3] . Atti del Simposio sulla programmazione logica, 1995.
Collegamenti esterni modifica
- XSB
- XSB riassunto tecnico
- Programmazione in Tabled Prolog : bozza di un libro sulla programmazione XSB di David S. Warren della Stony Brook University
- Il manuale del programmatore di sistema XSB di Terrance Swift, David S. Warren e altri
- Informazioni su Stony Brook Prolog