XSB
XSB este numele unui dialect al limbajului de programare Prolog . Implementarea sa este dezvoltată la Universitatea Stony Brook în colaborare cu Katholieke Universiteit Leuven , Noua Universitate din Lisabona , Universitatea Uppsala și furnizorul de software XSB, Inc.
XSB extinde Prolog cu tablare și HiLog (extensie standard a Prolog care permite o utilizare limitată a programării logice de ordin superior ).
Implementarea open source XSB include o interfață cu limbajul de programare Java .
Istorie
XSB a fost dezvoltat inițial la Universitatea Stony Brook de David S. Warren, Terrance Swift și Kostis Sagonas. S-a bazat pe limbajul SB-Prolog dezvoltat și la Universitatea Stony Brook în 1986. [1] [2] Este un limbaj de programare logică .
Sintaxă
XSB acceptă mai multe tipuri de date de limbaj de programare standard, cum ar fi numere întregi , numere în virgulă mobilă și atomi .
Numerele întregi din XSB pot fi interpretate în mai multe baze. În mod implicit, numerele întregi sunt interpretate în baza 10, dar pot fi interpretate într-o gamă de baze de la 2 la 36. [3]
Atomii sunt similari cu corzile . Sunt o succesiune de personaje.
Notă
Bibliografie
- T. Swift și DS Warren (2011), XSB: Extinderea puterii Prologului folosind tabletarea [1] . Teoria și practica programării logice (TPLP), Cambridge University Press, 2011.
- K. Sagonas și T. Swift și DS Warren (1994), XSB ca motor eficient de baze de date deductive [2] . Lucrările Conferinței internaționale ACM SIGMOD privind gestionarea datelor, 1994.
- T. Swift și DS Warren (1995), An Abstract SLG Resolution Machine: Defined Programs [3] . Lucrările Simpozionului de programare logică, 1995.
linkuri externe
- XSB
- Rezumat tehnic XSB
- Programarea în tabelul Prolog : o schiță a unei cărți despre programarea XSB de David S. Warren de la Universitatea Stony Brook
- Manualul programatorului de sistem XSB de către Terrance Swift, David S. Warren și alții
- Despre Stony Brook Prolog