home *** CD-ROM | disk | FTP | other *** search
/ Collection of Hack-Phreak Scene Programs / cleanhpvac.zip / cleanhpvac / FUZZY.ZIP / READ.ME < prev    next >
Text File  |  1988-02-03  |  3KB  |  74 lines
  1.  
  2.                         Fuzzy Prolog Interpreter, version 3.0
  3.  
  4.  
  5. Author:  Capt Bradley L. Richards
  6.          9 Poplar Lane
  7.          Chelmsford, MA 01863
  8.  
  9. Reference:  Richards, Bradley L., PROGRAMMING IN FUZZY LOGIC:  FUZZY PROLOG.
  10.             MS thesis.  School of Engineering, Air Force Institute of
  11.             Technology (AU), Wright-Patterson AFB, Ohio, December 1986.
  12.             National Technical Information Service document #ADA177940.
  13.  
  14. -------------------------------------------------------------------------------
  15.  
  16.      This disk contains all source files associated with the Fuzzy Prolog
  17. interpreter, version 3.0.  The interpreter is written in Ada and was developed
  18. under the Verdix Ada Development System (VADS) version 5.1b on a VAX 11/785
  19. running UNIX 4.2 BSD.  The names given in this document are those used under
  20. UNIX; the actual names on the disk have been slightly modified to abide by
  21. the conventions of MS-DOS.
  22.  
  23.  
  24. Text files: 
  25.  
  26.           Read.me -- This information file
  27.            Manual -- Fuzzy Prolog User's Manual
  28.  
  29. Ada source code: 
  30.  
  31.         fuzzy_prolog.a -- main program
  32.            data_defS.a -- common data declarations
  33.              proverS.a -- prover package specification
  34.              proverB.a -- prover package body
  35.         do_reservedB.a --   separate prover routines for processing
  36.                               Fuzzy Prolog built-in predicates
  37.             executeB.a --   separate prover routines for executing
  38.                               Fuzzy Prolog operators
  39.         print_stuffB.a --   separate prover routines for displaying information
  40.                 avlS.a -- generic AVL tree package specification
  41.                 avlB.a -- generic AVL tree package body
  42.              parserS.a -- parser package specification
  43.              parserB.a -- parser body
  44.               tokenS.a -- lexical analyzer package specification
  45.               tokenB.a -- lexical analyzer package body
  46.             listingS.a -- listing package specification
  47.             listingB.a -- listing package body
  48.                  ioS.a -- source and listing I/O package specification
  49.                  ioB.a -- source and listing I/o package body
  50.  
  51.  
  52. Sample Fuzzy Prolog programs:
  53.  
  54.         City               List               Parkinson
  55.  
  56.  
  57.      The following UNIX C-Shell script will completely recompile the Fuzzy
  58. Prolog interpreter using the VADS system:
  59.  
  60.         a.cleanlib
  61.         rm Err_* >& /dev/null
  62.         a.make -f *.a >& Err
  63.         if (`cat Err | wc -l` > 0) then
  64.           echo 'Redo errors in recompiling Fuzzy Prolog'
  65.         else
  66.           a.ld fuzzy_prolog -lm >& Err
  67.           if (`cat Err | wc -l` > 0) then
  68.             echo 'Link errors in recompiling Fuzzy Prolog'
  69.           else
  70.             rm Err
  71.             echo 'Recompile of Fuzzy Prolog complete'
  72.           endif
  73.         endif
  74.