I am still wondering how partial compilation (see below) could be integrated into Alpha. * [Partial Compilation of ASP Programs (TPLP, `doi:10.1017/S1471068419000231`)](https://doi.org/10.1017/S1471068419000231) * [Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators (IJCAI 2020, `doi:10.24963/ijcai.2020/234`)](https://doi.org/10.24963/ijcai.2020/234) * [Compilation of Aggregates in ASP Systems (AAAI 2022, `doi:10.1609/aaai.v36i5.20527`)](https://doi.org/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](https://github.com/jOOQ/jOOR/blob/7c27785e5c82bd60bb73a5eee569f3d0fb4df01b/jOOR/src/main/java/org/joor/Compile.java).
I am still wondering how partial compilation (see below) could be integrated into Alpha.
doi:10.1017/S1471068419000231)Constraints Become Propagators (IJCAI 2020,
doi:10.24963/ijcai.2020/234)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.