선언적 프로그래밍: 사실, 규칙 및 목표

谁的相机可以借？

• 미디어 클럽은 회원 정보와 수료된 훈련 기록을 유지합니다. 매번 질문마다 새로운 루프를 작성하지 않고,谁家可以借用相机的问题를 묻고 싶습니다.
• **선언적 프로그래밍(Declarative programming)**은 사실, 규칙과 **목표(goal)**를 서술합니다. 로직 엔진은 목표를 참으로 만드는 값을 검색합니다. 프로그래머는 여전히 정확한 규칙을 써야 하며, 엔진이 마음을 읽거나 클럽 게시판에 들러보지는 않습니다.

사실(Facts)은 알려진 것을 명시합니다

• **사실(fact)**은 지식 베이스(knowledge base) 내의 단정(assertion)입니다. member(aya).에서 추명(predicate) member은 한 사람을 클럽 회원과 연결합니다. trained(aya, camera).은 한 사람을 장비(item)과 연결합니다.
• 이 수업은 Prolog 스타일 표기를 사용합니다: 작은 글자 이름은 상수 또는 추론(practice)이고, 큰 글자 이름은 변수입니다. 문장 부호(마침표)는 각 사실이나 규칙을 끝냅니다.

member(aya).
member(ben).
member(chen).
trained(aya, camera).
trained(chen, camera).
trained(ben, audio).

규칙은 조건들을 결합합니다

• 규칙(rule) 은 결론이 성립할 때를 명시합니다. :-를 “만약(if)”으로 읽고, 쉼표는 AND(그리고)로 읽으십시오: 한 사람이 카메라를 빌릴 수 있는条件是 그 사람이 회원이고Camera 교육(Training)을 받은 경우입니다.
• Person는 세 곳 모두에서 같은 변수를 지칭합니다. 엔진은 한 명의 회원과 다른 교육 recipient를 찾는 것이 아니라, 두 조건을 동시에 만족하는 하나의 값을 찾아야 합니다.

can_borrow(Person, camera) :- member(Person), trained(Person, camera).

목표는 질문을 던집니다

• 목표 ?- can_borrow(aya, camera).는 예/아니오 결과를 요청합니다. 엔진이 규칙을 매칭하고 member(aya)과 trained(aya, camera)을 확인하면, 두 사실 모두 존재하므로 목표가 성공합니다.
• 목표 ?- can_borrow(Person, camera).는 변수의 바인딩을 요청합니다. 이 지식베이스에서는 답은 Person = aya과 Person = chen입니다. 이들은 추론할 목표이며, 표시된 블록은 기호일 뿐 실행 가능한 놀이터가 아닙니다.

worked example: 실패한 후보 추적하기

매칭은 규칙 전반에 걸쳐 값을 공유합니다

• 통일(unification) 은 변수를 일관되게 바인드하면서 항을 매칭합니다. 이를 trained(Person, camera)과 trained(chen, camera)으로 매칭하면 Person이 chen에 바인드됩니다; 그러나 trained(ben, audio)으로 매칭하면 장비가 다르므로 실패합니다.
• 실패한 목표는 해당 사실과 규칙으로부터 증명할 수 없음을 의미합니다. 이는 벤이 실제 생활에서 한 번도 카메라를 사용하지 않았음을 증명하는 것은 아니며, 단순히 지식베이스가 불완전할 뿐일 수 있습니다.

worked example: 새로운 규칙 작성하기

can_help(Mentor, Learner) :- trained(Mentor, camera), member(Learner).

놓칠 수 있는 점

요구사항에서 증명으로