function - Prolog 中的递归函数

Question

我尝试计算递归函数:

f(x, y) = 0 if x = 0;
f(x, y) = 1 if x = 1;
f(x, y) = y*y*f(x-2,y) if x>1.

我这样试过:

f(0,_,0).
f(1,_,1).
f(X,Y,Z):-
          X>1,
          XX is X-2,
          ZZ = Y*Y*Z,
          f(XX,Y,ZZ).

我只能得到真/假。如何计算此函数的值？

非常感谢!

Answer 1

如果你简单地使用 CLP(FD) 约束，你可以很容易地将它变成一个真实的关系:

:- use_module(library(clpfd)).

f(0, _, 0).
f(1, _, 1).
f(X, Y, Z):-
        X #> 1,
        XX #= X-2,
        Z #= Y*Y*ZZ,
        f(XX, Y, ZZ).

示例查询及其结果:

?- f(X, 5, Z).
X = Z, Z = 0 ;
X = Z, Z = 1 ;
X = 2, Z = 0 ;
X = 3, Z = 25 .