제한된 도메인 제약 프로그래밍을 위한 도메인 특화 언어 활용

** 본 논문은 제한된 도메인 제약 논리 프로그래밍(CLP(FD)) 시스템 구현에서 코드의 가독성, 유지보수성, 그리고 실행 효율성을 동시에 개선하기 위해 두 종류의 도메인 특화 언어(DSL)를 설계·적용하였다. 첫 번째 DSL은 전파자 선택 과정을 선언적으로 기술한다. 전파자는 제약식에 대한 도메인 축소를 수행하는 핵심 모듈이며, 복잡한 산술·논리 제약식에 대해 적절한 전파자를 찾아 적용하는 것이 성능에 큰 영향을 미친다. 기존 시스템에서는 전파자 매칭 로직을 절차적 코드로 구현했기 때문에 오류가 발생하기 쉬웠고, 새로운 전파자를 추가할 때마다 중복 코드가 늘어났다. 이를 해결하기 위해 저자들은 `m(P, C) →