I suppose Prolog would also do very well at this, considering that's the topic of the post, and it's main purpose is logic.