编程范式：声明式

描述"要什么"而不是"怎么做"。查询语言、配置、约束求解都属于它。