There are also machine-learning programs which can induce general rules from specific cases. I gave a reference to one, using ILP, in my first lecture.