README.md

Documentation

User documentation is mangle.readthedocs.io. This directory has language specification and reference material, in markdown format.

There is also a page with guidelines for writing documentation.

Language

• Rationale
• Data Model
• Built-in Operations
• Relational algebra
• Declarations

Implementation

Understanding

• Structured Data
• Example: Volunteer DB
• Understanding Derivation of Facts
• Using the interactive interpreter

Some additional resources for datalog:

• Bibliography