I've used Datalog (which is essentially a stripped down version of Prolog) in the past for a pointer analysis. Essentially, you literally print out the inference rules and then the basic facts to a text stream, and then you use interactive queries on the text stream.

You might look at how datomic or datascript use a limited subset of prolog (datalog, with a lispy syntax) to express queries: you end up doing things like:

    [[?person :name “Bob”]
     [?person :state :tx]]

To query for “the person named Bob who lives in Texas”

The Clojurescript web framework fulcro uses this also for the sorts of things graphql is used for.

You might find https://github.com/graknlabs/grakn of interest. Datalog was one of our main sources of inspiration. The query mentioned in this thread (the person named Bob who lives in Texas) would be something like:

$x has name 'Bob'; ($x, $y) isa lives; $y has name 'tx';