home *** CD-ROM | disk | FTP | other *** search
/ Frozen Fish 1: Amiga / FrozenFish-Apr94.iso / bbs / alib / d1xx / d140 / sbprolog.lha.pi < prev   
Text File  |  1994-03-25  |  1KB  |  27 lines
  1. .name
  2. SBProlog
  3. .author
  4. Logic Programming Group at SUNY, Stony Brook
  5. David Roch
  6. Scott Evernden 
  7. .version
  8. 2.3.2
  9. .description
  10. Volume 1 of the 2 volume Stony Brook Prolog (SBP) distribution, version
  11. 2.3.2.  This volume contains the executables and libraries.  Volume 2, on
  12. disk 141, contains the C and Prolog source code.  From the SB-Prolog
  13. System, Version 2.2 User Manual: "SB-Prolog is a public-domain Prolog
  14. system for Unix(tm) based systems originally developed at SUNY, Stony
  15. Brook.  The core of the system is an emulator, written in C for
  16. portability, of a Prolog virtual machine that is an extension of the Warren
  17. Abstract Machine.  The remainder of the system, including the translator
  18. from Prolog to the virtual machine instructions, is written in Prolog." In
  19. addition to providing a compiler, SB-Prolog also offers advanced features
  20. such as dynamic loading, mixing of compiled and interpreted code, macros,
  21. extension tables, a debugging facility offering two levels of tracing,
  22. profiling tools, and other utilities.  
  23. .described-by
  24. Automatically generated from Contents file by c2pi program.
  25. .short
  26. Stony Brook Prolog distribution, vol 1.
  27.