Comment Comment by 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 languageshttps://docs.racket-lang.org/datalog/https://docs.racket-lang.org/racklog/ parent JimmyRuska 3 years ago
https://docs.racket-lang.org/datalog/
https://docs.racket-lang.org/racklog/