.\" ----------------------------------------------------------------------
.tp
.nr pp 11
.nr $r 10
.fo ''''
.pp
\ \ \ 
\ \ 
.(l
\ 
\ 
.ce 20
\fBThe SB-Prolog System, Version 2.2
.sp
A User Manual\fR

edited by
\fISaumya K. Debray\fR
.sp
from material by
.sp
\fIDavid Scott Warren
Suzanne Dietrich\fR
SUNY at Stony Brook
.sp
\fIFernando Pereira\fR
SRI International
.sp 3
\fIMarch 1987\fR
.sp 2
Department of Computer Science
University of Arizona
Tucson, AZ 85721
.)l
.ce 0
.fo ''%''			\" page number on middle of bottom
.bp
.pp
\ \ \ 
\ \ 
.(l
\ 
\ 
\ 
\ 
.ce 20
\fBThe SB-Prolog System, Version 2.2
.sp
A User Manual\fR
.)l
.ce 0
.sp 3
.lp
\fBAbstract\fR: SB-Prolog is a public-domain Prolog system for Unix\(dg
based systems originally developed at SUNY, Stony Brook.  The core of
the system is an emulator, written in C for portability, of a Prolog
virtual machine that is an extension of the Warren Abstract Machine.
The remainder of the system, including the translator from
Prolog to the virtual machine instructions, is written in Prolog.
Parts of this
manual, specifically the sections on Prolog syntax and descriptions of some
of the builtins, are based on the C-Prolog User Manual by Fernando Pereira.
.(f
\(dg Unix is a trademark of AT&T.
.)f
.fo ''%''			\" page number on middle of bottom
.bp
.\" ------------------------- end of title page ----------------------