Declarative programming: ข้อเท็จจริง กฎ และเป้าหมาย

询问谁可以借用相机

• คลับมัลติมีเดียเก็บข้อเท็จจริงเกี่ยวกับสมาชิกและการฝึกฝนที่เสร็จสิ้น ต้องการถามว่าใครยืมกล้องได้โดยไม่ต้องเขียนลูปใหม่สำหรับทุกคำถาม
• 声明式编程描述事实、规则和目标。逻辑引擎搜索使目标为真的值。程序员仍然需要编写正确的规则；引擎不会读取思想或俱乐部公告板。

事实陈述已知内容

• 事实是知识库中的断言。在 member(aya). 中，谓词 member 将一个人与俱乐部会员资格联系起来。 trained(aya, camera). 将人与设备联系起来。
• บทเรียนนี้ใช้Programming notation แบบ Prolog: ชื่อตัวพิมพ์เล็กคือค่าคงที่หรือเพรดิเคต; ชื่อตัวพิมพ์ใหญ่คือตัวแปร จุดเต็มจบแต่ละข้อเท็จจริงหรือกฎ

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

规则组合条件

• 规则说明何时结论成立。将 :- 读作“如果”，逗号表示AND：一个人可以借用相机，前提是他是会员 并且 拥有相机培训。
• Person 在所有三个地方命名同一个变量。引擎必须找到一个同时满足两个条件的值，而不是一个会员和一个不同的受训人员。

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 เหล่านี้เป็นเป้าหมายสำหรับการให้เหตุผล; บล็อกที่แสดงเป็นProgramming notation ไม่ใช่พื้นที่ทดสอบที่รันได้

工作示例：追踪失败的候选人

การจับคู่จะแบ่งปันค่าผ่านกฎ

• การจับคู่ (Unification) จับคู่เทอมwhileผูกตัวแปรอย่างสม่ำเสมอ การจับคู่ trained(Person, camera) กับ trained(chen, camera) ผูก Person กับ chen; การจับคู่กับ trained(ben, audio) ล้มเหลวเพราะอุปกรณ์แตกต่างกัน
• เป้าหมายที่ล้มเหลวหมายความว่าไม่สามารถพิสูจน์ได้จากข้อเท็จจริงและกฎเหล่านี้ มันไม่ได้พิสูจน์ว่า Ben ไม่เคยใช้กล้องในชีวิตจริงเลย;ฐานความรู้อาจมีเพียงส่วนที่ไม่สมบูรณ์เท่านั้น

ตัวอย่างแสดงวิธีทำ: เขียนกฎใหม่

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

คะแนนที่หลุดหายไป

จากข้อกำหนดไปสู่การพิสูจน์