One way to elegantly describe and solve such a problem would be Answer Set Programming.