Partial Compilation #345
Description
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.