ConceptBase.cc

ConceptBase.cc เป็นระบบฐานข้อมูลแบบอนุมานแบบผู้ใช้หลายรายที่มีรูปแบบข้อมูลเป็นศูนย์กลาง ความสามารถในการแสดงข้อมูลในระดับข้อมูลใด ๆ (ข้อมูลคลาส metaclass meta-metaclass) ทำให้เป็นเครื่องมือที่มีประสิทธิภาพในการ metamodeling และวิศวกรรมของภาษาแบบกำหนดเอง ระบบจะมาพร้อมกับอินเทอร์เฟซผู้ใช้แบบกราฟิกที่สามารถกำหนดรูปแบบได้สูงซึ่งสร้างขึ้นจากคุณสมบัติตามลอจิกของเซิร์ฟเวอร์ ConceptBase.cc ConceptBase.cc สามารถแสดงข้อมูลในระดับข้อมูล (ข้อมูลตัวอย่างร่องรอยของการประมวลผลประมวลผล) ระดับชั้น (schema คำจำกัดความของกระบวนการ) ระดับ metaclass (โครงสร้างของภาษาแบบจำลอง) ระดับ meta-metaclass (โครงสร้างสำหรับกำหนดโมเดล ภาษา) และอื่น ๆ การแสดงวัตถุแบบ Uniform วัตถุทั้งหมดจะแสดงในโครงสร้างข้อมูลสี่เท่าที่เรียกว่า P-facts ซึ่งเป็นหัวหอกในการพัฒนาภาษา Telos ออบเจ็กต์แอตทริบิวต์ความเชี่ยวชาญและการโต้ตอบจะแสดงเป็นข้อเท็จจริงทั้งหมด ตัวอย่างเช่นแอตทริบิวต์ของอ็อบเจ็กต์สามารถมีแอตทริบิวต์และเป็นอินสแตนซ์ของแอตทริบิวต์อื่น ๆ แม้กระทั่งความชำนาญระหว่างแอตทริบิวต์ได้รับการสนับสนุนอย่างเต็มที่ นิพจน์ที่เป็นตรรกะ กฎข้อ จำกัด และแบบสอบถามจะแสดงในสูตรลอจิกลำดับแรกภายในระบบจะแปลงเป็นประโยค Horn ที่ตีความโดยเครื่องประเมินผลแบบ Datalog นิพจน์เชิงตรรกะใน ConceptBase.cc สามารถครอบคลุมวัตถุใด ๆ โดยไม่คำนึงถึงประเภท (node ​​vs. link) และระดับการลบล้าง Datalog เป็นที่รู้จักว่าเป็นระบบคำนวณที่มีประสิทธิภาพมากที่สุดสำหรับการประเมินนิพจน์เชิงตรรกะ กฎที่ใช้งานอยู่ กฎที่ใช้งานอยู่จะอัพเดตฐานข้อมูลหรือเรียกใช้กิจวัตรภายนอกเป็นปฏิกิริยาต่อเหตุการณ์
    

มีอะไรใหม่ ในรุ่นนี้:

เวอร์ชัน 8.0: การกำหนดค่ากราฟฟิกที่ยืดหยุ่นมากขึ้น; ประสิทธิภาพที่ดีขึ้นของ CBserver; แก้ไขข้อผิดพลาดจำนวนมาก

มีอะไรใหม่ ในเวอร์ชัน 7.8:

เวอร์ชัน 7.8 อาจรวมถึงการอัปเดตการปรับปรุงหรือการแก้ไขข้อบกพร่องที่ไม่ระบุ <

มีอะไรใหม่ ในเวอร์ชัน 7.7:

เวอร์ชัน 7.7 อาจรวมถึงการอัปเดตการปรับปรุงหรือการแก้ไขข้อบกพร่องที่ไม่ระบุ