paco@sbcs.sunysb.edu (Francisco J Romero) (09/01/89)
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@sbcs.sunysb.edu] (516)689-6953 -Jim Morrison