dsl kinda language for rulesets

rulesets.plan

sets Admin {
   use global.Admin;
   extend role.infra.Admin;

   user babel;
}

user babel {
   email "tower_babel@gmail.com";
   email "babel@gmail.com";
}

email(implicit C: Context)(value: Atom) :-
   edge(C, value, "email")


allow request {
   client org.zerosign.client.Client, range of 10.10 .. 10.12;
   user level Admin;
}

// compile this all into graphs 
// list of target compilations : 
// - diffsets (graphdb redis)
// - rulesets (embedded rulesets)
// - minified IR terminals