Have a look at the Oz PL and its canonical textbook: https://en.m.wikipedia.org/wiki/Oz_(programming_language)