The initial development of SB-Prolog, from 1984 to August 1986, was at SUNY at Stony Brook, where Versions 1.0 and 2.0 were developed. Since August 1986, its development has continued at the University of Arizona, Tucson.
A large number of people were involved, at some time or another, with the Logic Programming group at SUNY, Stony Brook, and deserve credit for helping to bring SB-Prolog to its present form. David Scott Warren led the project at Stony Brook. Most of the simulator and builtins were written by Jiyang Xu and David S. Warren (I added the later stuff, Versions 2.1 onwards). Much of the library was also by David, with some contributions from me. Weidong Chen did the work on clause indexing. Suzanne Dietrich wrote the Extension Table package. I wrote most of the compiler.
Several people helped debug previous versions, including Leslie Rohde; Bob Beck of Sequent Computers; and Mark Gooley of the University of Illinois at Urbana-Champaign.
Special thanks are due to Richard O'Keefe, who contributed the Prolog code for the parser (in the form of the predicates read/1 and read/2), the C code for the tokenizer, and the code for setof/3 and bagof/3.
I am grateful to Fernando Pereira for permission to use material from the C-Prolog manual for the descriptions of Prolog syntax and many of the builtins in this User Manual. Steve Kelem produced the LateX version of this manual from an earlier troff version.
— S.K.D.