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
  • Calling Algernon from Lisp
  • Calling Lisp from Algernon
  • Controlled Retrieval
  • Negation and Non-Monotonic Reasoning
  • Control Structure
  • Deleting Things
  • Interacting with the User
  • Controlling Style of Inference
  • Obsolete Forms
• Notes on Inference in Algernon
  • Rule Completion