Alma-0
Alma-0은 Modula-2의 구조적인 명령형 언어를 확장해 논리 프로그래밍에서 사용하는 비결정적 선택과 역추적(Backtracking)을 도입한 실험 언어다. Krzysztof Apt 등의 연구진이 조건 검사와 탐색을 명령형 프로그램 안에서 보다 직접적으로 표현하도록 설계했다. 명시...
| 분류 | 명령형 프로그래밍, 논리형 프로그래밍 결합 언어 |
|---|---|
| 연구 기관 | Centrum Wiskunde & Informatica |
| 설계 계보 | Modula-2 확장 |
| 핵심 기능 | 비결정적 선택, 역추적, 선언적 계산 |
| 연구 시기 | 1990년대 후반 |
Alma-0은 Modula-2의 구조적인 명령형 언어를 확장해 논리 프로그래밍에서 사용하는 비결정적 선택과 역추적(Backtracking)을 도입한 실험 언어다. Krzysztof Apt 등의 연구진이 조건 검사와 탐색을 명령형 프로그램 안에서 보다 직접적으로 표현하도록 설계했다. 명시적인 상태 변경과 선언적인 탐색을 조합함으로써 제약 만족 및 조합 탐색 문제의 구현을 간결하게 만드는 것이 핵심 목적이다.[1]