[shawn_w]

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

[2] https://docs.racket-lang.org/datalog/index.html