↧
Source code checked in, #2b0ba330af0d
DkalBackends upgrade to vs2012+nuget add DatalogTranslator and DkalParser as projects in ModularEngine solution.
View ArticleUpdated Wiki: CompilingDKAL
Compiling DKAL If you are reading this is because you either synced with our Mercurial repository or you downloaded a snapshot of it. In any case, you will notice that the repository only contains...
View ArticleUpdated Wiki: Logic Engines
Logic Engines DKAL have the following logic engines:"simple" - prolog-like engine with some simple 2nd order infon logic support. linear but incomplete.based on Propositional Primal Infon Logic: BPIL -...
View ArticleSource code checked in, #e9be88acb398
SPILrnd: expose SPILsufarr & SPILhash. bugfix in leafkey
View ArticleSource code checked in, #ccc8d79804fc
PPIL: generalize stage1 for optional serialization (needed of BPIL,TPIL,SPILsufarr, not needed for others)
View Article