获得一个统一谓词的名称

Question

如何获取可以与给定输入统一的谓词的名称。 会产生这种效果的东西（如果确实有效）：

findpredicate( A, B, P ) :- P(A,B).

循环查看现有谓词并找到给定输入为真的一个方法。我需要得到这个名字。