Special Forms

 

Algernon supports a number of ``special forms''. This section provides a description of these forms and examples of their use.

Most forms have similar behavior in assertions and queries. The form :all-paths is the only serious exception to this rule. All other forms have exactly the same behavior in assertions and queries.

• 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