Source code checked in, #432f9236bc7a
intiial complete version of datalog based engine - untested
View ArticleSource code checked in, #e73037895678
frontend integration still having hiccups with Z3
View ArticleSource code checked in, #ab30c866f779
adding to datalog based engine. Bugs in interaction with Z3
View ArticleUpdated Wiki: SyntaxBasic
Basic Syntax Guide In order to define the DKAL syntax we first introduce the DKAL variables, then the DKAL data types, and finally expand on how to construct terms of each type. DKAL Variables...
View ArticleSource code checked in, #6f7f8d370e64
- backtranslation for datalog engine complete. WARNING - it may be subject to future improvements on Z3 API which may break the engine - it does not play well with empty strings as values. see...
View ArticleUpdated Wiki: Home
Project Description DKAL (Distributed Knowledge Authorization Language) is a distributed authorization policy language. This project contains an engine for running DKAL policies. It is implemented...
View ArticleUpdated Wiki: Home
Project Description DKAL (Distributed Knowledge Authorization Language) is a distributed authorization policy language. This project contains an engine for running DKAL policies. It is implemented...
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, #2bd41a8dd25e
add TSPIL2 = TSPIL + disjunction superset introdution rule (a \/ b |= a \/ b \/ c). Same O(N^3) complexity.
View ArticleSource code checked in, #ad438c71e783
get proofs from datalog backend for engine still need to translate proofs into evidence
View ArticleSource code checked in, #f8a8219c9c90
justifications from explanations in datalog engine
View ArticleSource code checked in, #f37e823ff71a
datalog translation reuses vars, vars are not global to programs
View ArticleSource code checked in, #fb8170c9d3aa
experimental extension of TSPIL with (->&i) rule: (A->B)&(A->C) => A->B&C
View Article