metalevel.at 모음

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

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