Answer Set Programming (ASP) is a declarative logic problem solving approach based in stable model semantics. It is tailored to modeling problems in the area of knowledge representation and reasoning (KRR). Frankly, most of this is over my head. But, answer set programming seems like it is a step in the right direction. Here are some resources:
It seems like answer set programming is similar to description logic.