JEV is rule-based programming with a better pattern matcher. Charles Forgy did this back in the 80s.