public domain Prolog system available 
Author Message
 public domain Prolog system available

SB-Prolog, a public domain prolog system for Unix environments, is now
available.  The system, based on the Warren Abstract Machine, is
implemented as a WAM emulator written in C, with the remainder of the
system coded in Prolog.  The system offers features such as the dynamic
loading of predicates; an "Extension Table" facility that allows users
to direct the system to "remember" the results of computations of
specified predicates, so that these can be subsequently looked up
and need not be recomputed; and a macro expansion facility.  The system,
which provides almost all the builtin predicates of C-Prolog, comes
with a Prolog-to-WAM compiler and a C-Prolog-like trace/debugging package.
It runs at 15.5 KLIPS on a Sun-3/75, and 35.5 KLIPS on a Vax-8600 (based
on naive reverse of a list of 20 elements).

The system may be had by FTP from the internet host "arizona.edu", logging
in as "anonymous", and taking the contents of the directory "sbprolog".
--
Saumya Debray           CS Department, University of Arizona, Tucson


     uucp:       {allegra, cmcl2, ihnp4} !arizona!debray



Tue, 17 Nov 1992 11:39:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. public domain Prolog system available

2. Public domain PROLOG available via ftp?

3. public domain Prolog system availabl - (nf)

4. public domain prolog for apollo domain

5. any PARTS parts available on public or shareware domain

6. Public domain Eiffel-3 front-end available

7. Summary of Public Domain Object-Oriented Database Systems

8. Coverage as Public domain available?

9. Public Domain Pop-11 systems ?

10. tidarque - a public domain VRML browser for Unix - available online

11. public domain lint available?

12. Public Domain or Shareware VHDL SYstems

 

 
Powered by phpBB® Forum Software