Ask HN: What are the closest programming language from logic?

I'm looking for languages that have the most common operations in math/logic from automata calculus to monad, homology...