oz - 布尔和逻辑运算符

Question

我是 Mozart-Oz 的初学者，我寻求帮助是因为这种语言不是很直观，并且缺乏文档。

我正在尝试应用此代码（当我用 java 编写它时它适用于 eclipse）并且在 oz 中不起作用，这里是详细信息：

这是 Oz 中的代码，它显示 True（这不合逻辑，因为如果 A 为真 B 为假，A 和 B 应该为假）

declare
A=true
B=false
C=A And B
{Browse C}

这是 Java 中的代码，它显示 False（这是合乎逻辑的答案）

public static void main(String[] args) {
    boolean A=true;
    boolean B=false;
    boolean C=A && B;
    System.out.println(C);

}

Answer 1

解决了它，显然你必须将 And 视为一个函数而不是一个运算符。通过使用这种语法

{And true false} 它将返回 false。