这里的选择范围很广——从编译语言到动态规则引擎。

Here, the choices are wide ranging — from compiled languages to dynamic rules engines.

youdao

对主动规则终止性分析已有静态和动态方法，其中静态方法使用较多，静态方法是在编译时间内检测主动规则执行的潜在非终止性。

There are several static and dynamic approaches for active rules termination analysis. We consider only static methods that at compile time detect potential non-terminating active rules execution.

youdao