Pokémon으로 설명하는 Prolog 기초

핵심 내용 1

전투 규칙은 타입 상성, 기술, 능력치, 특성이 얽힌 규칙 엔진에 가까워 의 관계규칙 모델로 간결하게 표현할 수 있음는 , 같은 술어로 사실을 두고, 대문자 변수와 통합으로 타입기술 조건에 맞는 을 찾아냄 으로 설명하는 기초 (.) 일전 댓글 개 전투 규칙은 타입 상성, 기술, 능력치, 특성이 얽힌 규칙 엔진에 가까워 의 관계규칙 모델로 간결하게 표현할 수 있음 는 , 같은 술어로 사실을 두고, 대문자 변수와 통합으로 타입기술 조건에 맞는 을 찾아냄 -를 배우고 타입이며 이 보다 큰 찾기는 의 여러 보다 질의가 짧음 드래프트 팀은 , 같은 술어로 표현하고, 우선도 기술 규칙에는 제외 조건과 효과를 층층이 더할 수 있음 같은 스프레드시트는 강력하지만, 데이터베이스는 임의 조합 질의에 더 유연하며 와 로 구현됨 전투 규칙이 논리 프로그래밍에 맞는 이유 전투는 여러 규칙이 복잡하게 맞물리는 규칙 엔진에 가깝고, 같은 논리 프로그래밍은 이런 관계를 간결하게 표현하기 좋음 은 종 이름을 가진 캐릭터이며, )부터 )까지 ,종이 넘음 메인 시

세부 2

리즈 전투는 마리로 구성된 팀끼리 싸우며, 각 은 보통 상대에게 피해를 주는 개의 기술 중 하나를 선택하고 상대 팀의 를 모두 으로 만들면 승리함 전투 성능은 기본 능력치, 배울 수 있는 기술 목록, 특성, 타입에 따라 달라지며, 조합 수가 많아 소프트웨어로 추적할 가치가 커짐 타입은 기술과 모두에 붙으며, 어떤 기술 타입이 상대 타입에 강하면 배 피해, 약하면 피해를 줌 타입 보정은 누적됨 )는 타입이고 둘 다 에 약해 기술에 배 피해를 받음 타입 )에게 기술을 쓰면 의 면역 때문에 피해가 이 됨 에서는 술어() 로 관계를 선언함 은 이름이 이고 인수가 하나인 술어이며, (). 같은 질의는 해당 문장을 참으로 만들 수 있는지 확인함 타입은 처럼 두 인수의 관계로 표현할 수 있고, 두 타입을 가진 은 같은 에 대해 사실을 두 개 둠 대문자로 시작하는 이름은 변수이며, 는 변수가 들어간 질의를 가능한 모든 값과 통합()하려고 시도함 ; . (, ).처럼 첫 번째 인수를 변수로 두면 타입 전체를 찾을 수 있고, 실제 데이터에서는 개

세부 3

결과가 나옴 쉼표는 여러 술어를 모두 만족해야 한다는 뜻이며, 같은 변수 이름은 질의 안에서 같은 값을 가져야 함 - (, ), (, ). ; ; ; ; ; ; ; ; )처럼 능력치와 배울 수 있는 기술도 관계로 질의할 수 있음 - (, ), (, ). ; ; ; ; ; ; ; ; ; ; ; ; . 같은 제약을 섞으면, 이 보다 크고 -를 배우며 타입인 을 바로 찾을 수 있음 - (, ), , (, ), (, ). , ; , ; , ; , 의 규칙() 은 머리와 본문으로 구성되며, 본문이 참이면 머리도 통합됨 이 규칙은 또는 기술을 직접 피해 기술로 분류함 과 비교되는 질의 표현 지금까지의 예시는 논리적으로는 단순한 와 조합이지만, 에서는 관계 질의가 보다 짧고 수정하기 쉬운 형태가 됨 같은 데이터를 로 구성하면 , 타입, 기술을 별도 테이블로 둘 수 있음 ( , ); ( , ); ( , , ); -를 배우고 타입이며 이 보다 큰 을 로 찾으려면 를 여러 번 써야 함 , . . . . 동일한 질의는 필요한 관계를 그대로 나열함 조

세부 4

건이 계속 추가되면 질의는 복잡해지기 쉽지만, 질의는 변수 동작에 익숙해지면 읽고 고치기 쉬운 형태를 유지함 전투 규칙을 층층이 쌓는 방식 전투에는 명중 실패, 능력치 상승하락, 아이템 효과, 피해량 범위, 상태 이상, 날씨지형 같은 필드 효과, 특성, 사전 능력치 배분 등 많은 상호작용 규칙이 있음 용 소프트웨어를 만들 때는 이 복잡성을 다루면서 모델을 감당 가능한 형태로 유지해야 함 는 즉석 조합을 묘사하는 질의 모델과 일관된 규칙 레이어링에 강점이 있음 로 이런 복잡성을 직접 확인할 수 있음 드래프트 리그와 우선도 기술 질의 드래프트에서는 마다 가치가 정해지고, 플레이어가 정해진 포인트 안에서 을 뽑아 마리 정도의 팀을 구성함 실제 전투는 이므로, 상대가 가져올 수 있는 여섯 마리 조합을 대비하고 그에 맞설 여섯 마리를 고르는 준비가 중요함 자신이 뽑은 은 같은 술어로 바로 표현할 수 있음 이 팀에서 -를 배우는 을 찾는 질의는 간단하지만, 결과는 없음 - (), (, ). 전투 순서는 기본적으로 가 결정하지만, 기술에는..

원문: https://news.hada.io/topic?id=29546