คำถามติดแท็ก logical-purity

2
ใช้เป้าหมายซ้ำซ้อนในการค้นหา
(ตามข้อเสนอแนะของ @repeat ) พิจารณาเคียวรีของโปรแกรมแท้1 ?- G_0.จะมีประโยชน์อย่างไรถ้ามีคิวรี่ใด?- G_0, G_0.บ้าง? เชิงอรรถ 1 ไม่มี tabling (เพื่อความปลอดภัย) ข้อ จำกัด ใช้ได้ โพสต์ก่อนหน้าในเรื่อง
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.