coolest thing i've seen all day: https://wiki.haskell.org/Curry-Howard-Lambek_correspondence @Hubert

do you code in Haskell?

i haven't. i just like formal logic and that syntax is fire.

Then you should try Prolog