Prolog. Because rule-based programs used to matter.