Somewhat more widespread, the Open Policy Agent <https://www.openpolicyagent.org/ https://www.openpolicyagent.org/> uses essentially a subset of prolog written

Somewhat 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.