oz:多范式函数型语言面向对象并行(多线程)约束编程和逻辑推理

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