作为函数式的Prolog变量

Question

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

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

Answer 1

有几个问题。

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

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

但是，您可以使用=../2构建is/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.