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. 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.