@Daniel Hines what kinds of problems do you see answer set programming as being particularly well-suited for? I've heard of it and know vaguely what it does (finds all minimal models, like Datalog but without the stratification condition), but don't know what I'd use it for.

You’re much deeper into logic programming than me - I’m only getting started. However, I can attest to the applications I saw at Philadelphia Logic Week in June. ASP can have strong and weak constraints, and can do optimizations over natural and real numbers. Using this in conjunction with the powerful relational capabilities you know from Datalog, I saw the following applications: - Lots of robotics planning. The task in vogue right now seems to be planning the robots that power Amazon’s warehouses, which involves coordinating dozens of agents at once, but ASP handled this very well. - Any kind of scheduling tasks. Nurse scheduling, train scheduling. - One researcher was using ASP to analyze global-scale internet networks for routing problems (i.e, certain routing configurations could have emergent behavior such that packets never get to their destination, and the researcher was able to encode the problem into ASP).

Interesting! Thanks for the examples.