使用逻辑编程优化的语言

Question

是否有使用任意逻辑编程执行编译时优化的语言？

我正在寻找一种语言的示例，它将使您能够执行以下操作：

• 定义任意谓词，例如is-idempotent?
• 告诉编译器f(f(x))等于f(x)，如果is-idempotent?函数对于f是真的
• 为各种函数指定is-idempotent? (可能是间接的，例如其他逻辑语句所隐含的)
• 让编译器根据它所知道的谓词/优化执行优化。

Answer 1

我想你想要的是一个程序转换系统。

这些可以让您定义适用于源代码的规则，例如，用于优化代码的代数法则。

你会发现有各种各样的问题。第一种是在语言中处理范围规则和副作用。第二个问题是转换的顺序；应用它们的顺序常常产生完全不同的结果。