Extensions of the Standard PROLOG Indexing

• Looking at Other Approaches
  • Hardware Oriented Approaches
    • m-in-n-Coding
  • Software Oriented Approaches
    • Complete Indexing
  • Index Assistant Functions
    • Shallow Backtracking
    • Quadratic Indexing
• Our Approach
  • Using Arguments Other Than the First (1N)
  • Using More Than One Argument (MBN, MDN, and MN)
    • Breadth Oriented (MBN)
    • Depth Oriented (MDN)
    • Breadth and Depth Oriented (MN)
  • Allowing Variables in Index Blocks (1V and MV)
    • The 1V-Algorithm
    • The Final Result: The MV-Algorithm
• Future Extensions
  • Using Additional Information
  • Assert
  • Compiling Higher Order PROLOG Extensions