Source code checked in, #580fc96924eb
set platform of all modules to AnyCPU forgot to close solution before prev commit
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 ArticleSource code checked in, #f3d8f3198948
- moved away Assembly / Policy / Signature - They are not really related to Infon anymore Actually InfonTerm doesn't seem a good name now - added a non-working UFOL engine to be based on Z3
View ArticleSource code checked in, #43401b6f2003
minimal z3 deduction engine. partial functionality
View ArticleSource code checked in, #0a335321e81a
Z3 deducing engine, mostly working. Some things pending: - support for datetime - full support for XML - justification checks - substrate binding of free vars
View ArticleSource code checked in, #79feb5da59f0
Support for NOT knowledge clauses for Z3 engine. Note that the engine is intuitionistic, therefore formulae like "a(1) or not a(1)" may not be true if such knowledge is not derivable
View ArticleSource code checked in, #39b3f72b5a4b
fixed bug when discovering new constants after a substrate query TODO xml queries *don't work* with fresh variables in Z3 engine
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 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 ArticleSource code checked in, #ab0bdf4bd44c
FOL engine based on Z3 allows negation but needs to close relations. Setting ground work for that in this commit
View ArticleSource code checked in, #bc5f673ff075
DocsByReflection failed on types with missing documentation
View ArticleUpdated Wiki: Interfaces Module
Interfaces Module This module defines the following types:...
View ArticleUpdated Wiki: Ast.Infon Module
Ast.Infon Module This module defines the following types: IInfonPrettyPrinterIInfonParserActivePatternsBuildersPrimitivesIInfonPrettyPrinter Type IInfonPrettyPrinter provides an interface to print...
View ArticleUpdated Wiki: DeveloperDocumentation
DKAL Developer Documentation This guide consists of the following sections: DKAL engine general informationDKAL high level architectureModules...
View ArticleUpdated Wiki: Z3Translator Module
Z3Translator Module This module defines the following types: Z3TypeBitVecArrayUninterpretedZ3TypesUtilZ3TypeDefinitionZ3ExprZ3TranslatorZ3Type TypeImplemented...
View ArticleSource code checked in, #a450ffbb489c
added support for complete relation models (explicit) added support for not clauses policies become quite unintuitive though
View ArticleSource code checked in, #c99cde28bb53
UFOL variation for the ACL protocol. Note the rounds are more involved
View Article