ConceptBase.cc

Cur síos

Is córas bunachar sonraí asbhainteach ilúsáideora é ConceptBase.cc le múnla sonraí atá dírithe ar oibiachtaí. Toisc a chumas faisnéis a léiriú ag aon leibhéal astarraingthe (sonraí, aicme, meitea-rang, meitea-rang) is uirlis chumhachtach í chun meiteamhúnlú agus innealtóireacht teangacha samhaltaithe saincheaptha. In éineacht leis an gcóras tá comhéadan grafach in-chumraithe úsáideora a thógann ar ghnéithe loighic-bhunaithe an fhreastalaí ConceptBase.cc. Is féidir le ConceptBase.cc faisnéis a léiriú ag an leibhéal sonraí (sonraí samplach, rianta de chur i gcrích próisis), leibhéal an ranga (scéimeanna, sainmhínithe próisis), leibhéal meit-ranga (tógálacha de theangacha samhaltaithe), an leibhéal meitea-ranga (tógálacha chun samhaltú a shainiú teangacha), agus mar sin de. Léiriú oibiachta aonfhoirmeach. Léirítear na réada go léir i struchtúr sonraí ceathrúlach aonfhoirmeach ar a dtugtar P-fíricí a ndearna forbróirí na teanga Telos ceannródaíocht orthu. Léirítear réada, a dtréithe, a sainiúlachtaí agus a mheandálacha mar P-fíricí. Faoi seo, mar shampla, is féidir tréithe a bheith ag tréithe réad agus is cásanna de thréithe eile iad. Tugtar tacaíocht iomlán do fiú speisialtóireacht idir tréithe. Nathanna loighciúla. Cuirtear rialacha, srianta agus ceisteanna in iúl i bhfoirmlí loighce céad-ordú. Go hinmheánach, déanann an córas iad a chlaochlú ina gclásail Horn arna léirmhíniú ag meaisín meastóireachta atá bunaithe ar Datalog. Is féidir le habairtí loighciúla i ConceptBase.cc raon thar réad ar bith beag beann ar a chineál (nóid vs. nasc) agus a leibhéal astarraingthe. Tá cáil ar Datalog mar an córas ríomhaireachta is láidre chun nathanna loighciúla a mheas. Rialacha gníomhacha. Déanann rialacha gníomhacha an bunachar sonraí a nuashonrú nó glaotar ar ghnáthaimh sheachtracha mar fhreagairt ar imeachtaí.