ASP and dependency solving:
* APT: arxiv.org/pdf/1109.0113 (simpler encoding -- fits in 30 lines at github.com/potassco/asp...)
* Spack: arxiv.org/pdf/2011.07851

ASP:
* Relation to Prolog: See end of 1.8 and paragraph in 3.5
* Lifschitz and Nimela articles here: ojs.aaai.org/aimagazine/i...
* Lifschitz book is very clear in comparison to others (I find the description of ASP solvers in 1.3 to be very easy to understand): www.cs.utexas.edu/~vl/teaching...

Constraints in LP:
* 2.8 in Fifty Years of Prolog and Beyond is good and has lots of pointers: arxiv.org/pdf/2201.10816
* and dl.acm.org/doi/pdf/10.1..., but it came after Prolog II and while Prolog III was in development

Latest draft looks awesome! Does this mean 12.3 is not happening? Would be happy to help with 12.3 if needed...

Sorry I missed this earlier, also it's an RFI so there is no silent period. If you want to meet about this to ask questions, email me.

The RFI is about innovations needed to move NNSA HPC centers in a new direction, where all the resources could operate as a single system. We'd like to have made substantial progress on this before any follow-on, and perhaps leverage future system procurements to move even closer to the goals.

Sorry -- missed this earlier. I'd say they're aligned, just reading the ASAP RFI, but the LLNL RFI is more specific and is looking at how we might build a particular type of HPC center. ASAP seems much more broad and also not specific to NNSA.

I think we're going to have a nice long run of 1.x's first. 😀

Congratulations! That’s a huge milestone and so cool to see