Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!purdue!ames!apple!bridge2!csi!nsc!voder!pyramid!prls!philabs!sbcs!paco
From: paco@sbcs.sunysb.edu (Francisco J Romero)
Newsgroups: comp.unix.ultrix
Subject: Public Domain Prolog for DEC3100
Keywords: sbprolog
Message-ID: <3427@sbcs.sunysb.edu>
Date: 1 Sep 89 15:58:01 GMT
Sender: news@sbcs.sunysb.edu
Reply-To: paco@sbstaff2.UUCP (Francisco J Romero)
Distribution: usa
Organization: State University of New York at Stony Brook
Lines: 20

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