rule-based programming Synonyms

logic programming