Announcing general public release of Version 3.1 of Stony Brook
Prolog for the Amiga.

This update to V2.2?? released sometime ago on Fish disks was ported
by me.  It has been tested on an A3000 system running AmigaDos V2.04 and
on an A500 running AmigaDos V1.3.  Any problems discovered are probably
mine.  Included in this release is all of the source files, some prolog
test programs and all of the executables for a running version of prolog.

I ported the version obtained via annoumyous ftp from the
University of Arizona.


Abstract:

SB-Prolog is a Prolog system for Unix based systems.  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.

Copyright:

Note that all of this material is copyrighted, read and head the
copyright instructions included in the archieve files.

Files:

sbp3.lzh

	All the stuff you really need to get sbprolog up and
	running.  note that there are two versions of the
	emulator  one called sbprolog - compiled for 68000
	based Amigas and sbprolog.030 compiled for 68020 and
	68882 Amigas.  This stuff was compiled with Manx's Aztec
	C compiler V5.2a.

sbp3_opt.lzh

	All of the source files you need to re-compile or modify
my port.

sbp3_pl.lzh

	All programs from the book Michael Covington, Donald
	Nute, Andre Vellino Prolog Programming in Depth Scott,
	Foresman & Co., 1988 Arity Prolog version.

	I recommend you buy the book.


Vincent J. Herried
1688 Staffordshire RD.
Columbus, OH 43229

internet email: vjh21@cas.org