如何在Prolog中使用函子名称（如变量）？

Question

我们的Prolog课程有这项作业。 每周Prolog的工作时间为两个月，这对我来说仍然是一个谜，但我的想法似乎无法适应过程语言。

有一个知识库，其中包含具有相同名称和Ar1、1、2和3的谓词/函子。调用表应为

搜索（函数名，参数，S）。

答案应该找到所有带有此函子名称和参数的事件，而不管其是否有误。 答案应采用以下形式：

S = functor_name(argument);
S = functor_name(argument,_);
S = functor_name(_,argument);
S = functor_name(argument,_,_);
S = functor_name(_,argument,_);
S = functor_name(_,_,argument);
false.

我发现我可以使用call来测试知识库中的条目是否存在。

但是，调用似乎不适用于函子名称的变量。 我完全困惑，不知道如何使用变量作为函子名称。

更新：

我的问题已部分得到回答。 我的新代码为我提供了对1，2，3的对与错（见下文）。

search(Person,Predicate) :-
   ID = Person, Key = Predicate, current_functor(Key,1),
   call(Key,ID)
 ; ID = Person, Key = Predicate, current_functor(Key,2),
   (call(Key,ID,_);call(Key,_,ID))
 ; ID = Person, Key = Predicate, current_functor(Key,3),
   (call(Key,ID,_,_);call(Key,_,ID,_);call(Key,_,_,ID)).

UPDATE2：

出现了另一部分答案。该答案给我S作为术语列表，但“其他”参数是占位符：

search2(Predicate, Arg, S) :-
   ( Arity = 2 ; Arity = 3 ; Arity = 4 ),
   functor(S, Predicate, Arity),
   S =.. [_,Predicate|Args],
   member(Arg, Args).

结果是相当不错的。 仍然缺少：谓词不应放在方括号内，而其他参数应按字面意义取自知识库，而不应写为占位符。 当前结果如下：

 ?- search2(parent,lars,S).
S = parent(parent, lars) ;
S = parent(parent, lars, _G1575) ;
S = parent(parent, _G1574, lars) ;
S = parent(parent, lars, _G1575, _G1576) ;
S = parent(parent, _G1574, lars, _G1576) ;
S = parent(parent, _G1574, _G1575, lars).

我放弃这个问题，因为从一开始就以错误的方式提出了这个问题。 我应该更具体地询问-我不能，因为在Prolog中我仍然不好。

@false对我最大的帮助。 我接受他的回答。

Answer 1

这里有两种方法，一种“传统”方法（1970年代）真正实现了您想要的：

search(F, Arg, S) :-
   ( N = 1 ; N = 2 ; N = 3 ), % more compactly: between(1,3, N)
   functor(S, F, N),
   S =.. [_|Args],            % more compactly: between(1,N, I), arg(I,S,Arg)
   member(Arg, Args).

另一个重新考虑了目标的明确构造。 实际上，如果您有函子F以及参数A1 ， A2 ， A3 ，则可以立即编写目标call(F, A1, A2, A3)而无需使用functor/3或(=..)/2 。

使用call(F, A1, A2, A3)代替Goal =.. [F, A1, A2, A3], call(Goal)有很多优点Goal =.. [F, A1, A2, A3], call(Goal) ：在许多情况下，它更干净，更快，更容易进行类型检查。 此外，当使用模块系统时，对F的潜在模块资格的处理将无缝进行。 而(=..)/2将必须显式处理所有丑陋的细节，即更多的代码，更多的错误。

search(F,A,call(F,A)).
search(F,A,call(F,A,_)).
search(F,A,call(F,_,A)).
search(F,A,call(F,A,_,_)).
search(F,A,call(F,_,A,_)).
search(F,A,call(F,_,_,A)).

如果要缩短此时间，则可以动态地构造call/N ：

search(F, Arg, S) :-
   ( N = 2 ; N = 3 ; N = 4 ),
   functor(S, call, N),
   S =.. [_,F|Args],
   member(Arg, Args).

注意，调用需要函子F的额外参数！

Answer 2

您可以使用“ univ”运算符=..来动态构建目标：

?- F=member, X=1, L=[1,2,3], Goal =.. [F, X, L], call(Goal).
F = member,
X = 1,
L = [1, 2, 3],
Goal = member(1, [1, 2, 3]) .