Prolog 개발자가 피해야 할 ‘Coding Horror’: 비순수 구문과 전역 상태가 해답 누락을 부른다

본 기사는 Prolog 코드에서 종료성과 효율성이 확보되더라도 잘못된 답을 내거나 의도한 해답을 누락하는 결함이 발생할 수 있다고 지적합니다. 특히 비순수·비단조 구문인 !/0, (->)/2, var/1과 assertz/1, retract/1 기반 전역 상태 사용을 주요 위험 요인으로 꼽고, dif/2, if_/3, 명시적 인자 전달 같은 선언적 대안을 제시합니다.

Prolog의 강점은 문제를 절차보다 관계와 제약으로 모델링하는 데 있지만, 편의적 제어 구문과 전역 데이터베이스 변경은 이 장점을 빠르게 훼손합니다. 이 아티클은 선언형 프로그래밍에서도 유지보수성과 정확성을 확보하려면 언어 철학에 맞는 설계 규율이 필요하다는 점을 보여줍니다.

Prolog Coding Horror