paco@sbcs.sunysb.edu (Francisco J Romero) (09/08/89)
SBProlog V3.0 now runs on the Ultrix-based DEC3100 workstation. SBProlog
is a system based on an extension of the Warren Abstract Machine. It offers
several interesting features:
* compilation to object files
* dynamic loading of predicates
* provision for generating executable code on the global stack,
which can later be reclaimed
* an "extension table" facility, which permits memoization of
relations
* a macro facility
* garbage-collection of the global stack
SBProlog is free. To obtain a copy do an anonymous ftp to sbcs.sunysb.edu;
the system for the DEC3100 is in ~ftp/pub/sbprolog.
Paco Romero Dept. of Computer Science,
SUNY at Stony Brook, NY 11794 paco@sbcs.sunysb.edu
(516)632-7678
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