home *** CD-ROM | disk | FTP | other *** search
/ rtsi.com / 2014.01.www.rtsi.com.tar / www.rtsi.com / OS9 / OSK / EFFO / pd3.lzh / SBPROLOG2.2 / Readme.unix < prev    next >
Text File  |  1991-08-10  |  773b  |  27 lines
  1. (0) A General Public License for SB-Prolog is in the file COPYING.
  2.  
  3. (1) To install SB-Prolog, execute INSTALL.
  4.  
  5. (2) For an SB-Prolog User Manual, execute the command
  6.  
  7.     itroff -me sbprolog_doc.me
  8.  
  9. (3) The Prolog byte code files in cmplib, lib and
  10.     modlib should not have to be recompiled except under
  11.     exceptional circumstances (such as corruption
  12.     during transmission), as they are machine independent.
  13.  
  14. (4) Benchmarking: use the 'a' option when compiling
  15.     benchmarks.  A naive reverse benchmark program can be
  16.     found in sim/newlips.P : to execute this, compile
  17.     and load as follows:
  18.     
  19.         ?- compile('newlips.P', [a,v]).
  20.     ?- load('newlips.P.out').
  21.     
  22.     the benchmark can then be executed by calling bench/1,
  23.     e.g. as
  24.     
  25.         ?- bench(100).
  26. ---
  27.