[TheMatten]

You seem to have a very specific use case in mind and I am not really sure whether Prolog is going to be a good fit, but there was recently a discussion about the language: https://news.ycombinator.com/item?id=40994552

Specifically, this online book (mentioned in that discussion) may be a good resource, I've used author's content as a reference several times: https://www.metalevel.at/prolog

[vaguetruth]

"I am not really sure whether Prolog is going to be a good fit" what is it about Prolog that doesn't sync with my use case that made you write this?

Thanks for the online book recommendation!!