compares two related representation

compares two related representation schemes for handing “incomplete” knowledge drawing intriguing analogies between Prolog and Absys, another assertive programming system. The comparisons are used to illustrate issues of incompleteness.

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

เปรียบเทียบโครงร่างแสดงที่เกี่ยวข้องสอง handing ความรู้ "ไม่สมบูรณ์" วาด analogies น่าระหว่างภาษาโปรล็อกและ Absys ระบบโปรแกรมอื่นทำ เปรียบเทียบถูกใช้เพื่อแสดงให้เห็นถึงปัญหาของเกอเดล

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

เปรียบเทียบสองรูปแบบการแสดงที่เกี่ยวข้องกับการส่งมอบความรู้ "ไม่สมบูรณ์" วาดภาพเปรียบเทียบที่น่าสนใจระหว่างการเปิดฉากและ Absys, ระบบการเขียนโปรแกรมอื่นกล้าแสดงออก การเปรียบเทียบจะใช้ในการแสดงให้เห็นถึงประเด็นที่ไม่สมบูรณ์

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

เปรียบเทียบสองโครงการที่เกี่ยวข้องการส่ง " ไม่สมบูรณ์ " ความรู้การใช้ที่น่าสนใจระหว่างเปิดฉาก absys และระบบโปรแกรมแบบอื่น การใช้เพื่อแสดงให้เห็นปัญหาของ incompleteness .