2.18 Just-in-time clause indexing
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • Overview
        • Just-in-time clause indexing
          • Deep indexing
          • Future directions
          • Indexing for body code
          • Indexing and portability
    • Packages

2.18.2 Future directions

  • Theā€˜special cases' can be extended. This is notably attractive for static predicates with a relatively small number of clauses where a hash lookup is too costly.

  • Create an efficient decision diagram for selecting between low numbers of static clauses.

  • Implement a better judgements for selecting between deep and plain indexes.