I'm working on generating code from a series of prompts posed to a developer like this: https://twitter.com/verdverm/status/1566252517062807552 Is this the kind of thing you mean in your first question?

No, I mean answer set programming in the sense of stable-model semantics logic programming.

Is that something from languages like Prolog?

Yeah, it is a subtype of logic programming, I would say.