You can do that in Racket, with the Racklog library¹. There's also Datalog² and MiniKanren and probably some other logic languages available. [1] https://docs.

You can do that in Racket, with the Racklog library¹. There's also Datalog² and MiniKanren and probably some other logic languages available. [1] https://docs.racket-lang.org/racklog/index.html https://docs.racket-lang.org/racklog/index.html [2] https://docs.racket-lang.org/datalog/index.html https://docs.racket-lang.org/datalog/index.html