Answer set programming [1] may be what you're looking for.

[1] https://en.wikipedia.org/wiki/Answer_set_programming