XSB
XSB is the name of a dialect of the Prolog programming language and its implementation developed at Stony Brook University in collaboration with the Katholieke Universiteit Leuven, the New University of Lisbon, Uppsala University and software vendor XSB, Inc.
| Paradigm | Logic Programming |
|---|---|
| Designed by | David S. Warren, Terrance Swift, Kostis Sagonas |
| Stable release | 5.0
/ 12 May 2022 |
| OS | Cross-platform |
| Filename extensions | .P |
| Website | Sourceforge.net |
| Influenced by | |
| Prolog, PSB-Prolog, SB-Prolog | |
XSB extends Prolog with tabled resolution and HiLog.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.