oz:多范式语言,  函数型语言(词法域第一类过程模式匹配第一类统一语法),lazy,高阶(可实现非递归的循环),尾递归,描述式编程  面向对象(状态Stateful/抽象数据类型多重继承),  并行(多线程)(dataflow(数据流)线程动态连续互影响),  约束编程和逻辑推理(逻辑变量分离结构可编程搜索策略),人工智能,  分布式(网络透明的分布式运算组件编程自动连接自动断线共享变量/对象/类/和过程),  网络编程,无状态数据,  安全,动态类型,异常处理,内存管理,交互的IDE  多用途语言