4 ms·
At work we modelled our role-based access control logic in prolog. Once you realise that your authorization is logic programming, you gain access to better tool
by Vosporos 4y ago
At work we modelled our role-based access control logic in prolog. Once you realise that your authorization is logic programming, you gain access to better tools, more formal ways to think about it, and a treasure trove of literature. :)
- yakshaving_jgt 4y agoI would love to read more about this.
- p_l 4y agoSomewhat more widespread, the Open Policy Agent <https://www.openpolicyagent.org/ https://www.openpolicyagent.org/> uses essentially a subset of prolog written in form more familiar to most programmers - but while the code looks more familiar, the semantics are derived from Prolog.