2006-09-18

From Dyna
Jump to: navigation, search

Goals/requirements for a next version

This is on the whiteboard:

  • [STAR] Heterogenous inference & retraction; convergence criteria; relation to memoization and prioritization
  • flexible storage <-- & access
  • forward & backward chaining
  • non-ground terms?
  • prioritization (linked to chaining)
    • (user-defined priority functions)
  • driver-specific binarization
  • generic terms
  • type inference
  • foreign terms & items
  • memoization & flushing
  • (parallelism)
  • (profile-directed optimization)
  • (learning priority functions)
  • (training)

Column 2:

  • local heaps for recomputation
  • storage of defaults
Personal tools
Namespaces

Variants
Actions
Navigation
Tools