Development design documents

• 1. Better solver API
  • 1.1. High level problem
• 2. Proper handling of function attributes
  • 2.1. Current problem
  • 2.2. Proposed Solution
• 3. Implicit dereference aspect/expected subtype
  • 3.1. Problem
  • 3.2. High level solution for expected subtype (TODO fill out)
  • 3.3. High level solution for implicit dereference aspect (TODO fill out)
• 4. Name Resolution of Char Literals
  • 4.1. Current problem
  • 4.2. Proposed Solution
• 5. Adalog solver rewrite
  • 5.1. Global goal
  • 5.2. Expand high level operations to low level ones
    • 5.2.1. Introduce a Val operation
    • 5.2.2. Expand Unify to Assign and Val
    • 5.2.3. Expand Member into Any and Assign
  • 5.3. Develop relations
    • 5.3.1. The algorithm
    • 5.3.2. Exponential time resolution optimization (1)
  • 5.4. Check completeness
  • 5.5. Topo sort/check out for cycles
  • 5.6. Execute the resulting relation
    • 5.6.1. Exponential time resolution optimization (2)