Pokémon으로 배우는 Prolog — 타입 상성이 술어 모델에 꼭 들어맞는 이유

전투 규칙이 사실상 관계형 규칙 엔진이라는 비유가 잘 통한다. SQL의 여러 EXISTS 대신 술어 나열로 끝나고, Prankster 같은 특수 효과는 규칙을 한 겹 더 얹는 식으로 자연스럽게 확장된다. 학교에서 Prolog 처음 만났을 때 '이걸 어디 쓰지'였는데, 이런 게임 규칙 도메인을 먼저 보여줬으면 훨씬 빨리 친해졌을 것 같다.