CafeOBJ


CafeOBJ - declarative programming language.