Dr. Anna Latour on Nostr: Same thing if you zoom out far enough in the sense that both paradigms are ...

Same thing if you zoom out far enough in the sense that both paradigms are declarative, allowing you to specify constraints, then using search and inference to find answers to queries.

I think of CP as focusing more on designing constraint propagation algorithms, thus deviating further from the CDCL-based search that is still the foundation of ASP. I think of ASP as a paradigm that allows for more convenient abductive reasoning.