Sadly the only thing i can remember now are all the biblical examples of The Art Of Prolog, but prolog it's anyway something well worth a try (especially if you develop rule engines in other languages).