alexandrepiveteau/epfl-datalog-kotlin

Issues

• Stratify constants for negated rules

  #8 opened a year ago
  0

• Add a `Domain` for `String`

  #7 opened a year ago
  0

• Use a volcano-based model for `Relation`

  #2 opened a year ago
  0

• Optimise the dependency graph when computing the EDB

  #1 opened a year ago
  1