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