home *** CD-ROM | disk | FTP | other *** search
/ Simtel MSDOS 1992 June / SIMTEL_0692.cdr / msdos / snobol4 / aisnobol.txt < prev    next >
Encoding:
Text File  |  1987-12-18  |  5.5 KB  |  134 lines
  1. File README.DOC.    19-Oct-87
  2.  
  3. This diskette contains text and code from the report "Artificial
  4. Intelligence Programming in SNOBOL4," by Michael G. Shafto.  The material
  5. has been compressed into an archive file to save space.
  6.  
  7. ************************   IMPORTANT NOTE   *****************************
  8.  
  9. The original SNOBOL4 code contained in the report was designed to run
  10. under mainframe (360/370) Spitbol.  These programs have been converted
  11. to SNOBOL4+ and Macro Spitbol, and appear in both *.SNO and *.SPT versions
  12. on this disk.  Spitbol files must be converted to line-feed terminated
  13. records to operate under the Un*x version of Spitbol-68K.
  14.  
  15. The SNOLISPIST package is divided into two parts -- a collection of "core"
  16. functions, and a library of functions that are loaded on demand.  The
  17. loader in the core package (SNOCORE.INC or SPITCORE.SPT) has been modified
  18. from the version in the report.  In particular an auxiliary file,
  19. SNOLIB.IDX or SPITLIB.IDX, is used to provide random access to the library
  20. package (SNOLIB.INC or SPITLIB.SPT).  In addition, some of the peculiarities
  21. of Macro Spitbol required further adjustments to the two files.  A utility
  22. program, BUILDLIB.SNO or BUILDLIB.SPT, is provided to build the index file,
  23. and should be used anytime the library file is altered.
  24.  
  25. The programming techniques used in these files are worth studying -- they
  26. illustrate many unusual ways to use the language.  However, it is very
  27. clear that some of these programs run too slowly under SNOBOL4+ to be
  28. useful as anything other than a learning tool.  Spitbol and 32-bit
  29. machines, such as the 68000 are required for peak performance.
  30.  
  31. *************************************************************************
  32.  
  33. The following files should be present:
  34.  
  35.     arc.exe        archiving utility.  For info, type "a:arc"
  36.     readme.doc    this file
  37.     shafto.arc    archived files and documents, consisting of:
  38.       atn.in    sample input for augmented transition network [5k]
  39.       atn.sno    augmented transition network [13k]
  40.       atn.spt     Spitbol version of the above [13k]
  41.       buildlib.bat  DOS batch file to build SNOLISPIST index file [1k]
  42.       buildlib.sno    program to build index file [1k]
  43.       buildlib.spt   Spitbol version of the above [1k]
  44.       ending.in    sample data for word ending program [1k]
  45.       ending.sno    word ending program [4k]
  46.       ending.spt     Spitbol version of the above [4k]
  47.       hsort.in    sample data for hsort program [1k]
  48.       hsort.sno    Hoare quicksort [2k]
  49.       hsort.spt     Spitbol version of the above [2k]
  50.       kalah.sno    African board game [31k] (newly commented)
  51.       kalah.spt     Spitbol version of the above [31k]
  52.       readme.doc    this file [6k]
  53.       report1.doc    text of Shafto report (part 1) [224k]
  54.       report2.doc    text of Shafto report (part 2) [148k]
  55.       sir.in    sample data for SIR program [1k]
  56.       sir.sno    semantic information retrieval program [23k]
  57.       sir.spt     Spitbol version of the above [23k]
  58.       snocore.inc    SNOBOL4+ core functions of SNOLISPIST [21k]
  59.       snolib.idx    SNOBOL4+ index to library functions [1k]
  60.       snolib.inc    SNOBOL4+ library functions of SNOLISPIST [45k]
  61.       spitcore.spt    Spitbol core functions of SNOLISPIST [24k]
  62.       spitlib.spt    Spitbol library functions of SNOLISPIST [44k]
  63.       test.in    sample data for TEST program [1k]
  64.       test.sno    test program for SNOLISPIST functions [18k]
  65.       test.spt     Spitbol version of the above [18k]
  66.       wang.in    sample data for Wang's theorem prover [1k]
  67.       wang.sno    Wang's algorithm for theorem proving [3k]
  68.       wang.spt     Spitbol version of the above [3k]
  69.  
  70. The figures in brackets indicate the approximate amount of disk space
  71. needed for the unloaded files.  The files you will be most interested in
  72. are REPORT1.DOC amd REPORT2.DOC, which are the text of Shafto's report.
  73.  
  74. The report and any or all of the files can be expanded to other floppies
  75. or to your hard disk.
  76.  
  77.  
  78. Hard disk systems:
  79. ------------------
  80. Create the hard disk directory into which the files should be expanded, and
  81. make it your current directory.  Insert the source disk in drive A and enter
  82. the following command:
  83.  
  84.     A:ARC X A:SHAFTO
  85.  
  86.  
  87. Floppy disk systems:
  88. --------------------
  89. Format two 360k floppy disks, and place one of them in drive B and the source
  90. disk in drive A.  Enter the following commands:
  91.  
  92.     B:
  93.     A:ARC X A:SHAFTO REPORT1.DOC
  94.  
  95. Remove the first disk from drive B, insert the second blank disk, and enter:
  96.  
  97.     A:ARC X A:SHAFTO REPORT2.DOC *.SNO *.INC *.BAT *.IN *.IDX
  98.     A:
  99.  
  100. (If you are interested in the Spitbol versions, use *.SPT instead of *.SNO
  101. and *.INC).
  102.  
  103.  
  104. Printing the report:
  105. --------------------
  106. The files REPORT1.DOC and REPORT2.DOC are formatted for a 10-pitch printer
  107. font (such as Courier), 80-column page width, and 66 lines per page.  Place
  108. the print head on the perforation between sheets, and copy the two files
  109. to the printer:
  110.  
  111.     COPY REPORT1.DOC PRN
  112.     COPY REPORT2.DOC PRN
  113.  
  114. REPORT1.DOC is 86 pages long, and is the main section of the report.
  115. REPORT2.DOC is 86 pages long, and consists of all of the appendices.
  116.  
  117. *************************************************************************
  118.  
  119. The material on this diskette may be distributed freely and without
  120. restrictions of any kind.
  121.  
  122. The report is distributed with the kind permission of Michael G. Shafto.  A
  123. paper copy of the report was OCR scanned at Arizona State University by
  124. Mark Olsen.  The scanned report was extensively edited and corrected by
  125. Mark Emmer of Catspaw.  In addition, Martin Rice of the University of
  126. Tennessee typed in the SNOLISPIST library, which was used as a cross-check
  127. of the OCR-scanned material.  Thanks to all who assisted.
  128.  
  129.             Catspaw, Inc.
  130.             P.O. Box 1123
  131.             Salida, Colorado 81201
  132.             (Voice) 303/539-3884
  133.             (BBS) 303/539-4830
  134.