Public Domain Prolog for DEC3100
Francisco J Romero
paco at sbcs.sunysb.edu
Sat Sep 2 01:58:01 AEST 1989
SBProlog V3.0 now works under Ultrix. SBProlog is a system based on an
extension of the Warren Abstract Machine. It offers several features not
found on most Prolog systems currently available. These include:
* compilation to object files;
* dynamic loading of predicates
* provision for generating executable code on the global stack,
which can later be reclaimed
* an "extenasion table" facility, which permits memoization of
relations
* a macro facility
SBProlog is free. To obtain a copy do a remote ftp to sbcs.sunysb.edu,
the system is in ~ftp/pub/sbprolog.
Paco Romero "There was preserved in her
Dept. of Computer Science, the fresh miracle
SUNY at Stony Brook, NY 11794 of surprise"
[paco at sbcs.sunysb.edu] (516)689-6953 -Jim Morrison
More information about the Comp.unix.ultrix
mailing list