he top-down implementation is simil

he top-down implementation is similar to the top-down definite clause interpreter described in Figure 5.4, except the top-level goal is to prove false, and the assumables encountered in a proof are not proved but collected.

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

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

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

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

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

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