language-oriented programming Synonyms

logic programming