DKAL Developer Documentation
This guide consists of the following sections:- DKAL engine general information
- DKAL high level architecture
- Modules
- Interfaces
- Ast
- Ast.Tree
- Ast.Infon
- Ast.Syntax.Parsing
- Ast.Infon.Syntax.Simple
- Ast.Infon.Syntax.Typed
- Ast.Infon.Syntax.Factories
- Ast.Substrate.Basic.Syntax.Simple
- Ast.Substrate.Basic.Syntax.Typed
- Ast.Substrate.Sql.Syntax.Simple
- Ast.Substrate.Sql.Syntax.Typed
- Ast.Substrate.Xml.Syntax.Simple
- Ast.Substrate.Xml.Syntax.Typed
- Executor.Simple
- Executor.Factories
- Infostrate.Simple
- Infostrate.Factories
- LogicEngine.Simple
- LogicEngine.Factories
- MailBox.Simple
- MailBox.Factories
- Router
- Router.Local
- Router.Simple
- Router.Factories
- SignatureProvider.Simple
- SignatureProvider.Factories
- Substrate
- Substrate.Basic
- Substrate.Crypto
- Substrate.FSharp
- Substrate.Sql
- Substrate.Xml
- Substrate.Factories
- Factories.Initializer
- Globals
- Utils
- Dkal
- DkalGui
- DkalMulti
- Z3Translator