Comment by Mylloon

Oz is maybe what you looking for https://en.wikipedia.org/wiki/Oz_(programming_language)