next up previous contents
Next: Pleuk Grammar Development Up: No Title Previous: Running and Debugging

ALE Keyword Summary

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. gif). One of kind rec, dtr, or edge, is a mini-interpreter command that appears in the respective keyword's action-line.



Bob Carpenter
Wed Jul 26 14:25:05 EDT 1995