Updated 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 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, #349c513fc5b1
simplified clinial trial examples, without quantification
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 ArticleReleased: DKAL 1.0.0.613 (Oct 21, 2012)
This is the second DKAL public release. New features:New Propositional Primal Infon Logic based Logic Engines: BPIL, SPIL, TPIL Quantified Infon Terms ("forall")Updated syntax
View ArticleCreated Release: DKAL 1.0.0.613 (Oct 21, 2012)
This is the second DKAL public release. New features: New Propositional Primal Infon Logic based Logic Engines: BPIL, SPIL, TPILQuantified Infon Terms ("forall")Updated syntax
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 ArticleCreated Issue: Parser should return the correct line number for the error...
Fix the parser to return the correct line number for the error location when returning anerror.
View ArticleSource code checked in, #e482c374b514
#1: Parser should return the correct line number for the error location when returning an error fix bug in Lexer add line offset to MultiMain parsing
View ArticleClosed Issue: Parser should return the correct line number for the error...
Fix the parser to return the correct line number for the error location when returning anerror.Comments: fixed in e482c374b514. error position now should point at erroneous word or next word to it.
View ArticleSource code checked in, #2cdb37e4991e
replace hash function to xor in SPIL bugfix for release mode
View ArticleCommented Issue: Parser should return the correct line number for the error...
Fix the parser to return the correct line number for the error location when returning anerror.Comments: http://dkal.codeplex.com/SourceControl/changeset/e482c374b514
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 ArticleReopened Issue: Parser should return the correct line number for the error...
Fix the parser to return the correct line number for the error location when returning anerror.Comments: if parse error is in a substrate query then line number is still incorrect
View ArticleCreated Feature: Collections support [2]
`Type CollectionOfStrings = System.String[]`Add functions `exists` and `isEmpty`.
View ArticleSource code checked in, #62562a2c475a
#2: Collections support. Add CollectionType, Collection constants, exists and isEmpty functions.
View Article