有没有任何一种语言可以使用任意逻辑编程执行编译时优化?
我正在寻找一个示例语言,该语言将使您能够执行以下操作:
- 定义任意谓词,例如 `is-idempotent?` - 告诉编译器如果 `is-idempotent?` 函数对于 `f` 是真的,则 `f(f(x))` 等于 `f(x)` - 为各种函数指定 `is-idempotent?`(可能是间接的,例如由其他逻辑语句暗示) - 根据编译器所了解的谓词/优化来执行优化
我正在寻找一个示例语言,该语言将使您能够执行以下操作:
- 定义任意谓词,例如 `is-idempotent?` - 告诉编译器如果 `is-idempotent?` 函数对于 `f` 是真的,则 `f(f(x))` 等于 `f(x)` - 为各种函数指定 `is-idempotent?`(可能是间接的,例如由其他逻辑语句暗示) - 根据编译器所了解的谓词/优化来执行优化
MBase
框架在某些分析和优化过程中使用了嵌入式Prolog。 - SK-logic