BRIE -- The Boca Raton Inference Engine

   The accompanying files demonstrate a simple
resolution algorithm, together with factoring and
paramodulation.  They also demonstrate an efficient
structure-sharing resolution algorithm that could form
the basis for a PROLOG inference engine.  The BRIE
article in the April '85 DDJ discusses the additional
functions that need to be implemented to form a
complete PROLOG interpreter, and the programming
environment that is  needed  for an artificial
intelligence  programmer  to productively use the
system.  



