[%] 프롤로그 넘 어렵당

[다믜(damhiya)]

lazy eval은 어떻게 되는건지 머리에 딱 박혀서 안했갈리는데, 프롤로그는 평가전략을 전혀 모루겠음.
이거 시간복잡도 분석 가능하긴 한가?

[black7375(220.70)]

프롤로그면 이산수학 배울때 깔짝여봤던거 같은데 ㅋㅋ 룰베이스 선언형(논리형)이라, 시간복잡도 구하기가 좀 그러징.. - dc App

[익명(24.131)]

그냥 위에서 아래로, 왼쪽에서 오른쪽으로 depth-first search 라서 평가전략 자체는 엄청 간단함. 말이 선언형이지 cut 같은 비논리적 요소가 너무 많아서 그냥 백트래킹을 문법적으로 잘 지원하는 절차형 언어에 가깝기 때문에 복잡도 분석도 여타 언어랑 다를 게 없음.

[다믜(damhiya)]

ㅇㅇ 선언형인줄 알고 시작했는데 순서 따라서 결과 달라지는거 보고 경악함