Internt omvandlar systemet dem till Hornklausuler tolkas av en Datalog-baserad utvärderingsmaskin. Logiska uttryck i ConceptBase.cc kan sträcka sig över något objekt oavsett typ (nod vs länk) och dess abstraktionsnivå. Datalog är känt för att vara det mest robusta beräkningssystemet för utvärdering av logiska uttryck. Aktiva regler. Aktiva regler uppdaterar databasen eller kallar externa rutiner som en reaktion på händelser.
Vad är nytt i den här utgåvan:
Version 8.0: Mer flexibel konfiguration av grafredigeraren; bättre prestanda hos CBserver; många buggfixar; stöd för multi-level modellering.
Vad är nytt i version 7.8:
Version 7.8 kan innehålla ospecificerade uppdateringar, förbättringar eller buggfixar.
Vad är nytt i version 7.7:
Version 7.7 kan innehålla ospecificerade uppdateringar, förbättringar eller buggfixar.
Kommentarer hittades inte