1

我有一个带有两个参数的谓词，其中第一个参数可以是复合参数，第二个参数始终是 B。我还定义了一些新的运算符，例如+和&。

pvc(A, B) :- somestuff(A, B).

在这里，用户可以键入类似pvc((x+y)&(A+b), B).
作为 Prolog 的初学者，我想做的是将复合转换A为全小写并somestuff使用 new调用AN。应该是这样somestuff((x+y)&(a+b), B)。

我尝试了类似pvc(A, B) :- downcase_atom(A,AN),somestuff(AN, B).
但它似乎不是正确的方法。我将不胜感激。

4

1 回答 1

2

因此，您需要对事物的结构进行归纳，而最简单的方法是使用 univ 运算符=../2。首先处理你的基本情况，你做了：

downcase_compound(A, B) :- atom(A), downcase_atom(A, B).

现在，您将拆开结构并使用 univ 对其进行归纳：

downcase_compound(A, B) :-
   compound(A),
   A =.. [Functor|Args],
   downcase_compound(Functor, DowncaseFunctor),
   maplist(downcase_compound, Args, DowncaseArgs),
   B =.. [DowncaseFunctor|DowncaseArgs].

这里的诀窍是简单地将你的复合分解成你可以使用的位，然后递归地调用downcase_compound/2这些位。看看它的实际效果：

?- downcase_compound((x+y,('A'+b)), X).
X =  (x+y, a+b)
于 2019-01-08T17:33:34.283 回答