LFIAML 96. The index

This is the index about LFIAML96, a knowledge representation and inference system, based in formal logic. This system is implemented in CAML.
  1. User's manual (English) .
  2. Programmer's guide. Specifics of the implementation (Spanish) .
  3. Getting the application..