Contents

• ALE Data Structure
  • Path Compression
  • Unification Algorithm
  
  
• Signature Compilation
  • Subsumption Matrices and Transitive Closure
  • Monoids, Rings, Quasi-Rings, and Semirings
  • Topological Sorting
  • Zero-Counting by Quadrants
  • Prolog Representation of ZCQ Matrices
  • Transitive Closure with ZCQ
  • Compiling Appropriateness Conditions
    • Feature Introduction
    • Value Restriction Consistency
    • Appropriateness Cycles
    • Join Preservation Condition
  • Subtype Covering
    • Computing $maxcount$ of each type
    • Classifying Deranged Types
  
  
• Description Compilation
  • Serialization
  • Sorting
  • Peephole Optimization
  • Code Generation
  • ALE Lexical Rule Compilation
  
  
• Complex-Antecedent Constraint Compilation
• Logical Variable Macro Compilation
• Co-routining
• Bottom-up Parsing
  • The Algorithm
  • EFD-closure
  • Parsing Complexity
  
  
• Topological Parsing
  • Phenogrammar
    • Linkage
  • Tectogrammar
  • Synchronising Phenogrammar and Tectogrammar
    • Covering
    • Matching
    • Splicing
    • Compaction
    • Precedence and Immediate Precedence Constraints
    • Topological Accessibility
  • Phenogrammatical Parsing
  • Tectogrammatical Parsing
    • Category Graphs and Head Chains
    • Bit Vector Lattices
  
  
• Generation
  • The Algorithm
  • Pivot Checking
  
  
• SLD Resolution
• Bibliography
• About this document ...