This directory has some documentation in markdown format.

Documentation falls into four categories:

• learning-oriented tutorials
• goal-oriented how-to guides
• understanding-oriented discussions
• information-oriented reference material

Mangle, we want to distinguish between language and its implementation. The language part is not only creating a specification that would permit different implementations. While multiple implementations of Mangle would be nice, the rationale for Mangle includes propagating an abstract way of thinking about data processing which is independent of implementation and can be realized in various implementation contexts.

While such documentation of the language is necessarily abstract and will employ concepts and terminology from logic, we want to avoid becoming so rigorous as to become inaccessible.

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

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

Some additional resources for datalog:

• Bibliography