如何将大写输入转换为小写？

Question

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

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

在这里，用户可以输入类似pvc((x+y)&(A+b), B) 。
作为Prolog的初学者，我想做的是将化合物A转换为所有小写字母，并使用新AN调用somestuff 。 所以应该是somestuff((x+y)&(a+b), B) 。

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

Answer 1

因此，您将需要介绍事物的结构，最简单的方法是使用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)