Naga is a set of modules oriented around executing rules on a data set.

Naga executes a set of rules on a dataset in a database. The database may then be queried for data. The rules themselves can contain new data and these will be inserted before running. This means that the database may be empty before the rules are run.

• Create Rules. These are the operations that create new data from existing data. (Eventually, rules will also support running operations based on found data).
• Optionally, include Axioms. These go into a program with the rules, and will be instantiated in the database when the program is run.
• Compile the Program. This takes the axioms and rules, and creates a structure that can be run.
• Prepare the Storage.
• Execute the program on the storage.
• Query the storage.