526:
220:
XSB was originally developed at Stony Brook
University by David S. Warren, Terrance Swift, and Kostis Sagonas and launched in 1993-4. It was based on the SB-Prolog language that was also developed at Stony Brook University in 1986, and it was the first implementation of
308:
Körner, Philipp; Leuschel, Michael; Barbosa, JoĂŁo; Costa, VĂtor Santos; Dahl, VerĂłnica; Hermenegildo, Manuel V.; Morales, Jose F.; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador; Ciatto, Giovanni (November 2022).
310:
586:
115:
591:
567:
511:
395:
450:
274:
197:
138:
560:
279:
150:
48:
436:
222:
157:
142:
553:
177:
249:. Integers in XSB can be interpreted in multiple bases. By default integers are interpreted in
242:
201:
134:
262:
533:
130:
22:
8:
488:
462:
322:
205:
146:
86:
480:
391:
342:
173:
27:
492:
472:
332:
74:
383:
34:
525:
537:
181:
79:
476:
337:
580:
541:
484:
346:
258:
212:
XSB implementation includes an interface to the Python programming language.
362:"Performance Analysis and Comparison of Deductive Systems and SQL Databases"
361:
246:
234:
209:
189:
185:
327:
238:
467:
250:
127:
111:
99:
506:
254:
193:
161:
371:. CEUR Workshop Proceedings. Vol. 2368. pp. 27–38.
307:
384:"The Janus System: A Bridge to New Prolog Applications"
390:, Cham: Springer Nature Switzerland, pp. 93–104,
451:"XSB: Extending Prolog with Tabled Logic Programming"
192:. It features tabled resolution and supports the
578:
418:The XSB System Version 5.0.x Programmer’s Manual
416:Swift, Theresa; Warren, David S. (13 May 2022).
39:David S. Warren, Terrance Swift, Kostis Sagonas
561:
381:
448:
415:
359:
568:
554:
449:Swift, Terrance; Warren, David S. (2012).
466:
336:
326:
455:Theory and Practice of Logic Programming
315:Theory and Practice of Logic Programming
200:). Tabling enables XSB to implement the
382:Andersen, Carl; Swift, Theresa (2023),
579:
434:
360:Brass, Stefan; Wenzel, Mario (2019).
253:but can be interpreted in a range of
520:
303:
301:
299:
297:
295:
275:Comparison of Prolog implementations
133:and its implementation developed at
13:
587:Prolog programming language family
428:
311:"Fifty Years of Prolog and Beyond"
14:
603:
512:Information on Stony Brook Prolog
500:
292:
592:Programming language topic stubs
524:
126:is the name of a dialect of the
176:dialect of Prolog based on the
409:
375:
353:
233:XSB supports the ISO-mandated
198:higher-order logic programming
180:. Unlike systems derived from
139:Katholieke Universiteit Leuven
1:
285:
196:language (permitting limited
540:. You can help Knowledge by
438:Programming in Tabled Prolog
7:
367:. In Alviano, Mario (ed.).
280:Prolog syntax and semantics
268:
204:and makes it suitable as a
167:
10:
608:
519:
215:
137:in collaboration with the
477:10.1017/S1471068411000500
388:Prolog: The Next 50 Years
338:10.1017/S1471068422000102
228:
110:
105:
95:
85:
73:
69:
54:5.0 / 12 May 2022
47:
43:
33:
21:
156:XSB extends Prolog with
143:New University of Lisbon
178:Warren Abstract Machine
536:-related article is a
435:Warren, David (2020).
243:floating point numbers
202:well-founded semantics
135:Stony Brook University
56:; 2 years ago
534:programming-language
131:programming language
87:Filename extensions
18:
206:deductive database
147:Uppsala University
16:
549:
548:
444:(Draft ed.).
397:978-3-031-35253-9
235:Prolog data types
223:tabled resolution
158:tabled resolution
121:
120:
28:Logic Programming
599:
570:
563:
556:
528:
521:
496:
470:
461:(1–2): 157–187.
445:
443:
422:
421:
413:
407:
406:
405:
404:
379:
373:
372:
369:Datalog 2.0 2019
366:
357:
351:
350:
340:
330:
305:
188:system based on
64:
62:
57:
35:Designed by
19:
15:
607:
606:
602:
601:
600:
598:
597:
596:
577:
576:
575:
574:
517:
503:
441:
431:
429:Further reading
426:
425:
414:
410:
402:
400:
398:
380:
376:
364:
358:
354:
306:
293:
288:
271:
231:
218:
170:
151:software vendor
100:Sourceforge.net
65:
60:
58:
55:
12:
11:
5:
605:
595:
594:
589:
573:
572:
565:
558:
550:
547:
546:
529:
515:
514:
509:
502:
501:External links
499:
498:
497:
446:
430:
427:
424:
423:
408:
396:
374:
352:
321:(6): 776–858.
290:
289:
287:
284:
283:
282:
277:
270:
267:
230:
227:
217:
214:
169:
166:
119:
118:
114:, PSB-Prolog,
108:
107:
103:
102:
97:
93:
92:
89:
83:
82:
80:Cross-platform
77:
71:
70:
67:
66:
53:
51:
49:Stable release
45:
44:
41:
40:
37:
31:
30:
25:
9:
6:
4:
3:
2:
604:
593:
590:
588:
585:
584:
582:
571:
566:
564:
559:
557:
552:
551:
545:
543:
539:
535:
530:
527:
523:
522:
518:
513:
510:
508:
505:
504:
494:
490:
486:
482:
478:
474:
469:
464:
460:
456:
452:
447:
440:
439:
433:
432:
419:
412:
399:
393:
389:
385:
378:
370:
363:
356:
348:
344:
339:
334:
329:
324:
320:
316:
312:
304:
302:
300:
298:
296:
291:
281:
278:
276:
273:
272:
266:
264:
260:
256:
252:
248:
244:
240:
236:
226:
224:
213:
211:
207:
203:
199:
195:
191:
187:
184:, XSB uses a
183:
179:
175:
165:
163:
159:
154:
152:
148:
144:
140:
136:
132:
129:
125:
117:
113:
109:
106:Influenced by
104:
101:
98:
94:
90:
88:
84:
81:
78:
76:
72:
68:
52:
50:
46:
42:
38:
36:
32:
29:
26:
24:
20:
542:expanding it
531:
516:
458:
454:
437:
417:
411:
401:, retrieved
387:
377:
368:
355:
318:
314:
232:
219:
208:engine. The
190:Prolog atoms
171:
155:
123:
122:
210:open source
581:Categories
403:2023-11-14
328:2201.10816
286:References
153:XSB, Inc.
61:2022-05-12
485:1471-0684
468:1012.5123
347:1471-0684
172:XSB is a
116:SB-Prolog
269:See also
239:integers
237:such as
174:compiled
168:Features
23:Paradigm
493:6153112
251:base 10
216:History
182:Quintus
96:Website
59: (
491:
483:
394:
345:
245:, and
229:Syntax
186:module
141:, the
128:Prolog
112:Prolog
532:This
489:S2CID
463:arXiv
442:(PDF)
365:(PDF)
323:arXiv
257:from
255:bases
247:atoms
194:HiLog
162:HiLog
538:stub
481:ISSN
392:ISBN
343:ISSN
160:and
149:and
507:XSB
473:doi
333:doi
261:to
124:XSB
17:XSB
583::
487:.
479:.
471:.
459:12
457:.
453:.
386:,
341:.
331:.
319:22
317:.
313:.
294:^
265:.
263:36
241:,
225:.
164:.
145:,
91:.P
75:OS
569:e
562:t
555:v
544:.
495:.
475::
465::
420:.
349:.
335::
325::
259:2
63:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.