The following is a summary of keywords discussed in this manual, along with page references. A table of auxiliary keywords, those that only occur as arguments of other keyword operators, such as the cat> argument of a rule, will be provided in a future version.
A keyword of kind Description is one that occurs in an ALE
description of a feature structure. One of kind Def. Clause, or
DCL, is one that occurs in ALE's definite clause language.
One of kind Signature is a declaration that occurs in an ALE signature. One of kind Type is an ALE type with
special properties. One of kind ALE is a Prolog query (entered
at the | ?-
prompt) that can be used after ALE has been
loaded (see p. ). One of kind rec, dtr,
or edge, is a mini-interpreter command that appears in the
respective keyword's action-line.