home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Club Amiga de Montreal - CAM
/
CAM_CD_1.iso
/
files
/
623c.lha
/
SB_Prolog_v3.1
/
sbp3.readme
< prev
next >
Wrap
Text File
|
1992-02-28
|
2KB
|
60 lines
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