Summary: The XSB Programmer's Manual
Konstantinos F. Sagonas
David S. Warren
Department of Computer Science
SUNY @ Stony Brook
Stony Brook, NY 117944400, U.S.A.
with contributions from
Credits and Acknowledgements
The primary designers and developers of XSB were David S. Warren, Terrance
Swift and Kostis Sagonas. 1 XSB has benefited greatly from the involvement of
Steve Dawson who implemented transformational indexing, and of Prasad Rao
who implemented triebased tabling and the corresponding table access routines.
We would also like to thank Kate Dvortsova for her help in several features of
the system. Amanda Perez designed the logo.