标准化Prolog原子中的空格字符

Question

标准化Prolog原子中空白字符（空格，换行符，制表符）的最佳方法是什么？在SWI-Prolog中。 也就是说我想有一个规律：

normalize_space_in_atom(+Atom1, -Atom2) 

这样Atom2

• 有空白字符的序列变成一个单一的空间与非空间
• 与结束
• 开始非空间

Answer 1

SWI Prolog提供了normalize_space/2，因此您可以将谓词定义为f ollows：

normalize_space_in_atom(A1,A2) :- normalize_space(atom(A2),A1). 

我已经试过这与SWI Prolog 5.7.5，它似乎工作。如果你愿意，你可以添加更多的错误处理。