Derive is written in Lisp, a common programming language that is especially suited for the kind of rule-based processing necessary for transforming one abstract mathematical expression into another.

Derive是使用Lisp语言编写的，Lisp是一种公共编程语言，尤其适合基于规则的处理，该处理是将一个抽象数学表达式变换为另一个表达式所必需的。

youdao

Declarative programming (i.e., prescribing the what) represents the paradigm of choice for rules: something gets triggered (i.e., an action) based on whether a rule evaluates to true or false.

声明式的编程（例如规定什么）代表规则的选择模型：根据规则取值为true还是false，有些东西得以触发（例如动作）。

youdao