Prolog 变量作为函子

Question

我想创建这个prolog程序：用户输入-或+，如果-结果是3-2，否则是3+2。我写了这个程序，但编译器给了我错误。我能做些什么 ？

try(B):-
    read(A),
    B is A(3,2).

Answer 1

有几个问题。

在 Prolog 中，函子不能是变量。您可以使用call(Functor, arg1, arg2, ...)。所以A(3,2)你可以写call(A, 3, 2)：

不过，你还没有走出困境。在 Prolog 中，您无法定义自己is/2可以识别的算术运算。is/2仅适用于内置算术运算。所以call在这种情况下使用不会对你有帮助。

is/2但是，您可以使用 来构建可识别的术语=../2。=../2提供术语和列表之间的等价性：

functor(x, y, ...) =.. [functor, x, y, ...]

您可以这样使用它：

read_and_execute_op(Result) :-
    read(Operator),
    ArithmeticTerm =.. [Operator, 3, 2],   % This builds a term, +(3,2)
    Result is ArithmeticTerm.