Here's a feature I worked on recently at Oso -- it's a little UI for building example policies combining different authorization features.
I thought folks here might like it. It feels like there's been some growing excitement around logic languages, and our language Polar is inspired by a combination of prolog, datalog, and miniKanren! The builder shows a few examples of what's possible with that approach. Happy to answer any questions.