논리 프로그래밍을 사용하여 최적화하는 언어

Question

임의의 논리 프로그래밍을 사용하여 컴파일 타임 최적화를 수행하는 언어가 있습니까?

난 당신과 같이 할 수있게 언어의 예를 찾고 있어요

: 임의의 조건을 정의

• 를, 예를 들어, is-idempotent?
• 컴파일러를 갖는 is-idempotent? 기능은 다양한 기능 is-idempotent? 지정 f
• 대한 참 (아마도 간접 즉, 다른 논리 문장 암시) f(f(x))가 f(x) 같다 컴파일러에게 최적화에 기초하여 실시합니다 알고있는 술어/최적화

Answer 1

내가 원하는 것은 program transformation system이라고 생각합니다.

다음은 소스 코드에 적용 할 수있는 규칙 (예 : 코드를 최적화하는 알레고리법)을 정의 할 수있게합니다.

다양한 문제가 있다는 것을 발견하게 될 것입니다. 첫 번째는 langauges에서 스코프 규칙 및 부작용을 처리합니다. 두 번째는 변환의 순서입니다. 적용 순서에 따라 근본적으로 다른 결과가 생성됩니다.