Partial Compilation - Githubissues

alpha-asp / Alpha

A lazy-grounding Answer-Set Programming system

BSD 2-Clause "Simplified" License

58 stars 10 forks source link

Partial Compilation #345

Open lorenzleutgeb opened 2 years ago

lorenzleutgeb commented 2 years ago

I am still wondering how partial compilation (see below) could be integrated into Alpha.

Partial Compilation of ASP Programs (TPLP, doi:10.1017/S1471068419000231)
Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators (IJCAI 2020, doi:10.24963/ijcai.2020/234)
Compilation of Aggregates in ASP Systems (AAAI 2022, doi:10.1609/aaai.v36i5.20527)

Is there any interest in experimenting in that direction?

The Java API to use would be javax.tools.JavaCompiler, for an example consider this wrapping library.