prolog:递归函数重定义

有没有一种方法可以“递归地重新定义”(不知道技术术语)prolog谓词?

考虑这些谓词:

f(X,Y,A):-A is Y xor X.
arity(f,2).

现在,我想用以下定义自动创建两个新谓词f1/2和f2/1:

f1(Y,A):-f(1,Y,A).
f2(A):-f1(1,A).

所以谓词应该得到一个(二进制)函数作为输入,并通过用1从左到右填充函数的参数(通过arity定义)来创建新的谓词。

这有可能吗?我尝试了univ运算符和call()的各种组合,但没有成功。

有人知道怎么做吗?任何帮助都将不胜感激。

编辑:更高数量的示例:

f(W,X,Y,Z,A):-A is Y xor X xor W xor Z.
arity(f,4).

---GT;

f1(X,Y,Z,A):-f(1,X,Y,Z,A).
f2(Y,Z,A):-f1(1,Y,Z,A).
f3(Z,A):-f2(1,Z,A).
f4(A):-f3(1,A).

因为我只与f(a)的返回值相关,并且所有参数都设置为1,所以可能有一种更简单的方法可以做到这一点… 不管怎样,谢谢你的帮助!