Public Domain Prolog for DEC3100

[Francisco J Romero]

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