[JimmyRuska]

Racket made a prolog implementation that is currently used in the compiler, or at least I thought I heard that in one of their talks. Might be worth trying, since its model is a language for making languages

https://docs.racket-lang.org/datalog/

https://docs.racket-lang.org/racklog/

[Blackthorn]

That looks pretty cool. Whenever I see the words "prolog-style" I always ctrl+f for "cut", and this one passes!