home *** CD-ROM | disk | FTP | other *** search
/ GEMini Atari / GEMini_Atari_CD-ROM_Walnut_Creek_December_1993.iso / files / language / sbprolog / readme < prev    next >
Encoding:
Text File  |  1993-10-23  |  1.1 KB  |  35 lines
  1. This directory contains some small benchmarks, viz.
  2.  
  3.     - the naive reverse benchmark
  4.     - Fernando Pereira's benchmark suite.
  5.  
  6. (1) Naive Reverse:
  7.     Files: nrev.P  - Prolog source 
  8.            nrev.P.asl - WAM instructions produced by
  9.                        SB-Prolog compiler
  10.            nrev       - byte code "object" file
  11.  
  12.     To execute: start up SB-Prolog and enter
  13.  
  14.         ?- load('nrev').
  15.         ?- bench(500).  /* or any other reasonable number */
  16.  
  17.     WARNING: Naive reverse is the classical benchmark for
  18.              computing "LIPS" (Logical Inferences Per Second),
  19.          but it's such a small benchmark that LIPS numbers
  20.          so obtained may not necessarily reflect overall system
  21.          performance, and should be taken with a large pinch of salt.
  22.  
  23. (2) Fernando Pereira's benchmark suite: this suite gives statistics about
  24.     a number of different aspects of a Prolog system.
  25.     Files: bench.P - Prolog source
  26.            bench - SB-Prolog byte code file
  27.  
  28.     To execute: start up SB-Prolog and enter
  29.     
  30.         ?- load(bench).
  31.         ?- tell(foo), benches, told.  /* output of benchmarks are
  32.                          in file foo. */
  33.  
  34. ----------------------------------------------------------------------
  35.