TSL and MSL

• Terms in rule heads are unique

  • Answer trees
  • Fresh object ids

Previous slide

Next slide

Back to first slide

View graphic version