Note that in logic, such an explici

Note that in logic, such an explicit separation between facts (unit clauses)
and rules (implications) generally is not made, although it should be noted that several
inference methods, such as SLD resolution, make use of a similar distinction.

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

ทราบว่า ตรรกะใน เช่นการแยกชัดเจนระหว่างข้อเท็จจริง (หน่วยประโยค)
และกฎ (ผลกระทบ) โดยทั่วไปไม่ทำ แต่ควรสังเกตที่หลาย
ข้อวิธี เช่นทักษะด้านความละเอียด ทำใช้ลักษณะพิเศษคล้ายกัน

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

ทราบว่าในตรรกะเช่นการแยกชัดเจนระหว่างข้อเท็จจริง (ข้อหน่วย)
และกฎระเบียบ (ความหมาย) โดยทั่วไปจะไม่ได้ทำถึงแม้ว่ามันควรจะตั้งข้อสังเกตว่าหลาย
วิธีการอนุมานเช่นความละเอียด SLD ให้ใช้ความแตกต่างที่คล้ายกัน

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

หมายเหตุ เหตุผลในการแยกระหว่างข้อเท็จจริงที่ชัดเจน ( ส่วนหน่วย ) กฎ
( ความหมาย ) โดยทั่วไปจะไม่ทำ แม้ว่ามันควรจะกล่าวว่าวิธีการอนุมานหลาย
เช่นความละเอียดเพื่อให้ใช้ความแตกต่างที่คล้ายกัน