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, sin

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/datalog/ https://docs.racket-lang.org/racklog/ https://docs.racket-lang.org/racklog/