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 languageshttps://docs.racket-lang.org/datalog/
https://docs.racket-lang.org/racklog/
Blackthorn|2 years ago