The Syntax and Semantics of Algernon

• The Formal Syntax of Algernon
• Special Forms
  • Declaring a Taxonomy of Frames
  • Declaring Slots and their Domains
  • Declaring Rules
  • Controlled Retrieval
  • Negation and Non-Monotonic Reasoning
  • Universal Quantification
  • Deleting Things
  • Calling Algernon from Lisp
  • Calling Lisp from Algernon
  • Interacting with the User
  • Controlling Style of Inference
• Inference in Algernon
  • Partitions
  • Rule Completion