home *** CD-ROM | disk | FTP | other *** search
/ Simtel MSDOS 1992 December / simtel1292_SIMTEL_1292_Walnut_Creek.iso / msdos / ddjmag / ddj8604.arc / README.APR < prev   
Text File  |  1986-04-30  |  1KB  |  34 lines
  1.  
  2.   APRIL
  3.   BROWN
  4. * BRIE -- The Boca Raton Inference Engine
  5.   The accompanying files demonstrate a simple
  6. resolution algorithm, together with factoring and
  7. paramodulation.  They also demonstrate an efficient
  8. structure-sharing resolution algorithm that could form
  9. the basis for a PROLOG inference engine.  The BRIE
  10. article in the April '85 DDJ discusses the additional
  11. functions that need to be implemented to form a
  12. complete PROLOG interpreter, and the programming
  13. environment that is  needed  for an artificial
  14. intelligence  programmer  to productively use the
  15. system.
  16.  
  17.     .LSP
  18. *   MuLISP source code for the Boyer-Moore structure sharing resolution
  19.     algoritm. By RJ Brown (DDJ April '86, #114). 8495 bytes
  20.  
  21.     .LSP
  22. *   MuLISP source code for the Boca Raton Inference Engine (BRIE). (DDJ April
  23.     '86, #114) by RJ Brown. 7181 bytes
  24.  
  25.     .PRO
  26.     MicroPROLOG source code for the family tree example used with RJ Brown's
  27.     Boca Raton Inference Engine (BRIE). (DDJ April '86, #114)
  28.  
  29.  
  30.     PARK EXPERT-2 GAME OF LIFE
  31. *   source code for a simple demo program which modlels the action of a celluar
  32.     automation in John Conway's Game of Life.Written in Expert-2 by Jack Park
  33.     (DDJ April '86, #114). 5903 bytes
  34.