1.
DATALOG-TEXT: Datalog Text Representation
1.1.
Introduction
1.2.
Conformance
1.3.
Basic Concepts
1.4.
Datalog Text Grammar
1.4.1.
Program
1.4.2.
Relations & Facts
1.4.3.
Types & Constants
1.4.4.
Rules
1.4.5.
Atoms & Terms
1.4.6.
Literals
1.4.7.
Queries
1.4.8.
Processing Instructions
1.4.9.
Comments
1.4.10.
Terminal/Lexical
1.5.
Resolvers
1.6.
Pragmas
1.7.
Errors
1.8.
Security Considerations
1.9.
Internationalization Considerations
1.10.
Appendix: EBNF
1.11.
Appendix: Result Formats
1.12.
Appendix: IANA Considerations
1.13.
Appendix: References
2.
Datalog Text Representation Errata
3.
Datalog Text Representation Translations
Light (default)
Rust
Coal
Navy
Ayu
Datalog Specifications
Datalog Text Representation – Translations
Version: 2 April 2022.
None.