This logic-based tool regards the r

This logic-based tool regards the requested attributes as a set of uninstantiated variables and invokes external computational programs, recursively if necessary, to achieve a proof consisting of the computed variable bindings.

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

เครื่องมือตามตรรกะนี้นับถือคุณลักษณะที่ร้องขอเป็นชุดของตัวแปร uninstantiated และเรียกโปรแกรมคำนวณภายนอกซ้ำในกรณีที่จำเป็นเพื่อให้บรรลุหลักฐานประกอบด้วยคำนวณผูกตัวแปร

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

ตามเครื่องมือตรรกะนี้พิจารณาการร้องขอคุณลักษณะเป็นชุดของ uninstantiated ตัวแปรและเรียกใช้รายการโปรแกรมคอมพิวเตอร์ภายนอก recursively ถ้าจำเป็น เพื่อให้ได้หลักฐานประกอบด้วย คำนวณตัวแปรผูก .