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 / SIM / Readme < prev    next >
Text File  |  1991-08-10  |  2KB  |  47 lines
  1.  
  2. This directory contains source code for the prolog virtual machine
  3. simulator.
  4.  
  5. The makefile compiles the executable code into the file sim in this
  6. directory. It assumes that the builtins have already been compiled (done by
  7. executing the makefile in the subdirectory builtin). 
  8.  
  9. The following describes the command line for executing the simulator:
  10.  
  11.  % sim [-Ttdns] [-m s_size] [-p p_size] [-b tr_size] pil_file_name 
  12.  
  13.     -T:    high-level trace of entry to each called routine.
  14.     -t:    low-level trace of every PIL instruction executed.
  15.             (produces reams of output)
  16.     -d:    just produce a dump of the code in pil_file_name (not
  17.             very useful these days.)
  18.     -n:    add machine addresses when producing trace and dump.
  19.     -s:    produce a statistics printout at each call:
  20.             (again mucho stuff.)
  21.  
  22.     -m memsize :    allocate memsize words (4 bytes) of space to the 
  23.             local and heap stack together. Default 100000 words.
  24.  
  25.     -p pspace :    allocate pspace words of space to the program area.
  26.             default 100000 (quite large).
  27.  
  28.     -b maxtrail :    allocate maxtrail words of space to the trail stack.
  29.             default (memsize / 4). This parameter, if specified,
  30.             must follow the -m parameter.
  31.  
  32.     pil_file_name : the file containing the byte-code that is to be
  33.     loaded and executed.  It must be have been compiled by the
  34.     translator.  The first clause in the source file must define a 0-ary
  35.     predicate.  The body of that predicate is taken as the top-level
  36.     query.  This file normally contains the read-eval-print loop of the
  37.     interactive prolog system, (see byte-code file lib/readloop and
  38.     source lib/src/readloop.P for an example).  This file could contain
  39.     a program to handle interaction with other programs through pipes,
  40.     if desired.  
  41.  
  42. The simulator does NOT check for stack overflow (a serious problem that
  43. someday we will have to deal with). Symptoms of stack overflow are: core
  44. dump, and illegal instruction error messages. You can use the 'statistics'
  45. builtin to see how much space you have used. 
  46.  
  47.