ALF (프로그래밍 언어)
ALF(Algebraic Logic Functional)는 함수형 계산과 논리 기반 추론을 하나의 언어 안에서 결합하려는 연구용 프로그래밍 언어다. Horn 절을 이용해 논리 규칙과 술어를 표현하고, 함수의 수식과 등식은 항 재작성(Term Rewriting) 및 좁히기(Narrowin...
| 정식 명칭 | Algebraic Logic Functional |
|---|---|
| 분류 | 함수·논리 통합 프로그래밍 언어 |
| 패러다임 | 함수형 프로그래밍, 논리형 프로그래밍 |
| 핵심 개념 | Horn 절, 항 재작성, Narrowing |
ALF(Algebraic Logic Functional)는 함수형 계산과 논리 기반 추론을 하나의 언어 안에서 결합하려는 연구용 프로그래밍 언어다. Horn 절을 이용해 논리 규칙과 술어를 표현하고, 함수의 수식과 등식은 항 재작성(Term Rewriting) 및 좁히기(Narrowing) 등의 계산 기법으로 처리한다. 같은 약칭을 사용하는 다른 소프트웨어 및 Agda와 관련된 Alf 증명 도구와 구분되는 독립적인 언어다.[1]