Prolog 코딩 호러 | Hacker News

해커뉴스 게시글은 어떤 시스템이 실패한 이유가 Prolog의 규칙 순서 의존성에 기대었기 때문일 가능성이 크다고 주장한다.

글은 Prolog의 순서 민감한 동작과, 규칙과 데이터베이스로부터 논리적으로 도출되는 사실만 계산하려는 Datalog의 차이를 대비시킨다.

Datalog가 도달 가능한 사실을 놓치거나 없는 사실을 만들어낸다면, 문제는 언어가 아니라 런타임에 있다고 본다.

핵심은 예측 가능한 선언형 규칙 평가를 위해 Prolog와 Datalog를 올바르게 구분해 선택해야 한다는 점이다.