Updated  11/6/86

                Hello!

        The  files  on  this  disk  are  stored  in  archived  form.  The  
        distribution  disk  has  the  following  major objects:

        ARC.EXE -
             This   is  the  program  which  extracts  files  from  files 
             archives.  A listing of commands can be obtained by invoking 
             it as "ARC<CR>".  To extract all the files from a particular 
             archive,  type  "ARC -e <archive name,  without  the  "ARC"> 
             <file  name><CR>",  where  <CR> means "ENTER",  or  carriage 
             return.

        The archives are stored in one super-archive,  named "PROLOG.ARC" 
        to facilitate modem transfer. Extract the archives by typing: 

                                ARC -e PROLOG *.*


        PDPROLOG.ARC - 
             a)  PDPROLOG.EXE.  The  public  domain,  proprietary  PROLOG 
             language  interpreter.  You may give PDPROLOG to anyone.  If 
             you purchased a Prolog system from us, another disk contains 
             a copyrighted A.D.A. Prolog system. 

             b)  PROLOG.DOC.   You  should  immediately  print  out  this 
             documentation, since it contains the implementation specific 
             information.

        PROLOGED.COM -
             A  simple screen editor for invocation  within  Prolog.  You 
             must configure PDPROLOG for memory before use. If the editor 
             does not run,  you haven't configured PD PROLOG properly. If 
             the editor runs but does not work properly,  please  contact 
             the author,  Li Su, at (612)-866-2871.
                  Any  small editor can be installed in place of PROLOGED 
             simply by renaming it to have this name.

        ATN.ARC -
             This  archive contains Lou Schumacher's natural  language 
             parser.  The  initials "ATN" stand for augmented  transition 
             network. 

        EXPERT.ARC -
             These   are   expert   systems  for  specific   domains   of 
             information. Medical, rockblasting, fault diagnosis, etc.

        GAMES.ARC -
             Some simple board games and adventure games in Prolog.  Also 
             a chess King-Rook-King endgame program.














        LOGIC.ARC
             Contains Skolemization program to convert Predicate Calculus 
             statements  into Prolog statements.  Covers material exposed 
             in Clocksin and Mellish.
        PIE.ARC -
             This   archive  contains Simon  Blackwell's   public  domain  
             expert  system shell program.  The documentation  is  not 
             complete yet.

        PUZZLES.ARC -
             The encoding of puzzles in Prolog demonstrates techniques of 
             translating word problems into unambiguous logic.

        SAMPLES.ARC -
             This   archive  contains a variety  of   Prolog  programming  
             examples   which  illustrate some of  the  points  of Prolog   
             programming.    Note   that  the  book    mentioned    above 
             unfortunately  contains  numerous mistakes in the  examples.  
             You should refer to these files for the corrections.

        UTILITY.ARC -
             Some  reasonably  useful examples of  relational  databases, 
             etc.

        VISION.ARC -
             Listings  from  an  article  in Byte  Magazine  on  computer 
             vision, by John and Clara Cuadrado.


                                          Bob