Contents

• Preface -- Version 2.0
• Preface -- Version 1.0
• Introduction
• Prolog Preliminaries
  • Terms
  • Space and Comments
  • Running Prolog
  • Queries
  • Running ALE
  • Exiting Prolog and Breaking
  • Saved States
• Feature Structures, Types and Descriptions
  • Inheritance Hierarchies
  • Feature Structures
  • Subsumption and Unification
    • Subsumption
    • Unification
  • Type System
  • Extensionality
  • Inequality
  • Attribute-Value Logic
  • Macros
  • Type Constraints
  • Example: The Zebra Puzzle
• Definite Clauses
  • Type Constraints Revisited
• Phrase Structure Grammars
  • Parsing
  • Lexical Entries
  • Empty Categories
  • Lexical Rules
  • Grammar Rules
• Compiling ALE Programs
  • File Management
  • Compiling Programs
  • Compile-Time Error Messages
• Running and Debugging ALE Programs
  • Testing the Signature
  • Evaluating Descriptions
  • Hiding Types and Features
  • Evaluating Definite Clause Queries
  • Displaying Grammars
  • Executing Grammars
  • Mini-interpreter
• ALE Keyword Summary
• Pleuk Grammar Development Environment
• References
  • English Syllabification Grammar
  • Categorial Grammar with Cooper Storage
  • Error Messages
  • Warning Messages
  • Descriptions
    • Set Values
    • Negation
    • Cuts
    • Disjunctive Paths
    • Anonymous Variables
  • Parser
    • Alternative Strategies
  • Definite Clauses
    • Database Interaction
    • Set Predicates
  • Compiler
    • Extended Error Messages
    • More Incremental Compiling
    • Compact Atom Representation
  • Debugging
    • Incremental Clause Debugger
    • Incremental Unification/Description Debugger
    • Incremental Grammar Debugger
• About this document ...