Anyone interested in calling Prolog from an imperative programming language might be interested in this 1995 paper:
https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&d...
https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&d...
Prolog -(ish)-> Datalog -> Rego & OPA