An alternative proof method is to s

An alternative proof method is to search backward or top-down from a query to determine if it is a logical consequence of the given definite clauses. This procedure is called propositional definite clause resolution or SLD resolution, where SL stands for Selecting an atom using a Linear strategy, and D stands for Definite clauses. It is an instance of the more general resolution method.

ผลลัพธ์ (ไทย) 1:

อีกวิธีการพิสูจน์คือการ ค้นหาแบบย้อนหลัง หรือบนลงล่างจากแบบสอบถามจะไม่สัจจะตรรกะของประโยคแน่นอนกำหนด กระบวนการนี้เรียกว่าประโยค propositional แน่นอนความละเอียดหรือความละเอียด SLD ซึ่งหมายถึงการเลือกใช้กลยุทธ์เชิงอะตอม SL และ D หมายถึงอนุประโยคที่แน่นอน มันคือตัวอย่างของวิธีการแก้ปัญหาทั่วไป

ผลลัพธ์ (ไทย) 2:

วิธีการพิสูจน์ทางเลือกคือการค้นหาย้อนหลังหรือบนลงล่างจากแบบสอบถามเพื่อตรวจสอบว่าเป็นเหตุผลสำคัญของการได้รับข้อชัดเจน ขั้นตอนนี้จะเรียกว่าข้อมติที่ชัดเจนประพจน์หรือความละเอียด SLD ที่ SL ย่อมาจากการเลือกของอะตอมโดยใช้กลยุทธ์เชิงเส้นและ D ย่อมาจากคำสั่งที่กำหนด มันเป็นตัวอย่างของวิธีการที่ความละเอียดทั่วไปมากขึ้น

ผลลัพธ์ (ไทย) 3:

วิธีการเลือกหลักฐานคือการค้นหาย้อนกลับ หรือจากบนลงล่าง จากแบบสอบถามเพื่อตรวจสอบว่ามันเป็นตรรกะของประโยคนั้นให้ชัดเจน ขั้นตอนนี้เรียกว่าข้อเสนอที่ชัดเจนข้อมติหรือเพื่อความละเอียดที่ SL อะตอมยืนสำหรับการเลือกใช้กลยุทธ์เชิงเส้นและ D ย่อมาจากประโยคที่ชัดเจน มันเป็นตัวอย่างของความละเอียดทั่วไป เพิ่มเติม วิธี