home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / DOC / LOADER.DOC < prev    next >
Text File  |  1996-06-04  |  2KB  |  62 lines
  1.  
  2.  
  3.                                                                           
  4.                    LOADING FILES USING THE LIFE PARSER IN LIFE   
  5.           
  6.  
  7.  NAME
  8.  
  9.  loader: an implementation of simple_load that uses the parser written in Life
  10.          (so that all the syntax extensions are available), and also contains
  11.          some extensions that allow a usage similar to that of load (except
  12.          that only one file may be specified).   
  13.  
  14.  The term_expansion predicate is supported. In particular, grammar rules are
  15.  expanded automatically if they are written as facts.
  16.  
  17.  The predicate term_expansion takes a term as first argument and returns a
  18.  clause or a list of clauses as second argument.
  19.  It is predefined for grammar rules and standard definitions. It is  possible
  20.  to extend it to handle new kinds of definitions by adding new clauses to
  21.  term_expansion. 
  22.  
  23.  In the current state of the interpreter, the asserta query is necessary to be
  24.  sure the stated rule will actually be used.  
  25.  
  26.  
  27.  USAGE:
  28.  
  29.       load_l(Filename) ? 
  30.  looks for the file Filename.lf or Filename in specified directories, and
  31.  loads the first it finds. Reloading the same file is not possible.
  32.  
  33.       load_gr(Filename) ? 
  34.  looks for the file Filename.gr in specified directories, and
  35.  loads the first it finds. Reloading the same file is not possible.
  36.  
  37.       load_in(Filename) ?
  38.  looks for the file Filename.in in specified directories, and
  39.  loads the first it finds. Reloading the same file is possible.
  40.     
  41.  
  42.  FILES
  43.  
  44.  The file loader.lf contains the loader.
  45.  
  46.  The other files are:
  47.  - parser.lf     : the Life parser
  48.  - tokenizer.lf  : the tokenizer used to provide inputs to the parser
  49.  - accumulators.lf, std_expander.lf and acc_declarations.lf 
  50.  
  51.  All these files are automatically loaded if they are in the same directory.
  52.  
  53.  They must be loaded with expand_load(true).
  54.  
  55.  AUTHOR
  56.  
  57.  Bruno Dumant
  58.  
  59.  Copyright 1992 Digital Equipment Corporation
  60.  All Rights Reserved
  61.  
  62.