next up previous contents index
Next: Declaring a Taxonomy of Up: The Syntax and Semantics Previous: The Formal Syntax of


Special Forms


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

Most forms have similar behavior in assertions and queries. The form :all-paths is the only serious exception to this rule. The forms :retrieve, :no-completion, :wo-contra-positive, :w-contra-positive, and :in-own-partition set some global variables (as described below) and then query or assert their arguments. All other forms have exactly the same behavior in assertions and queries.

Micheal S. Hewett
Tue Oct 29 11:15:33 CST 1996