search

potassco / ngo

Non Ground Optimizer for logic programs.
MIT License
4 stars 0 forks source link

Annotations #99

Open MaxOstrowski opened 10 months ago

MaxOstrowski commented 10 months ago

Annotations could maybe be added to

  1. ignore a certain rule (how does this effect multi rule traits)
  2. add additional knowledge, relationship between positions in a predicate could be helpful, like next(T,T') is a 1 to 1 connection, etc... This could help with projection and sum constraints etc...