Logic programming, the third programming paradigm, will come to the rescue...