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

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

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

  1. ^ http://www.cs.sunysb.edu/~sbprolog/manual/manual1.pdf
  2. ^ http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/sbprolog/0.html
  3. ^ http://www.cs.sunysb.edu/~sbprolog/manual1/node38.html

Bibliografia

  • 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

  • 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