Question

Prolog的新增内容。这个让我感到沮丧。下面的“解决方案”是我试图让Prolog程序化......

这将删除空格或在逗号后插入空格（如果需要），直到遇到句点：

squish:-get0(C),put(C),rest(C).  
rest(46):-!.  
rest(32):-get(C),put(C),rest(C).  
rest(44):-put(32), get(C), put(C), rest(C).  
rest(Letter):-squish.

目标：我想知道如何在逗号之前删除任何空格。

以下是有效的，但在很多层面都是错误的，特别是'退出'！

squish:-  
  get0(C),  
  get0(D),  
  iteratesquish(C,D).  

iteratesquish(C,D):-  
  squishing(C,D),  
  get0(E),  
  iteratesquish(D,E).  

squishing(46,X):-put(46),write('end.'),!,exit.  

squishing(32,32):-!.  
squishing(32,44):-!.  
squishing(32,X):-put(32),!.   

squishing(44,32):-put(44),!.  
squishing(44,44):-put(44), put(32),!.  
squishing(44,46):-put(44), put(32),!.  
squishing(44,X):-put(44), put(32),!.  

squishing(X,32):-put(X),!.  
squishing(X,44):-put(X),!.  
squishing(X,46):-put(X),!.  

squishing(X,Y):-put(X),!.

Answer 1

由于您正在描述列表（在本例中为：字符代码），请考虑使用DCG表示法。例如，要让任何逗号后跟单个空格，请考虑使用类似于：

的代码

squish([])                 --> [].
squish([(0',),(0' )|Rest]) --> [0',], spaces, !, squish(Rest).
squish([L|Ls])             --> [L], squish(Ls).

spaces --> [0' ], spaces.
spaces --> [].

示例查询：

?- phrase(squish(Ls), "a,   b,c"), format("~s", [Ls]).
a, b, c

因此，首先要关注字符序列与所需“干净”字符串之间关系的清晰声明性描述。然后，您可以使用SWI-Prolog的库（pio）通过这些语法规则从文件中读取。要删除逗号之前的所有空格，您只需要向上面的DCG添加一个规则（以挤压// 1），我将其作为练习留给您。一个角落的情况当然是如果一个逗号后跟另一个逗号，在这种情况下要求是矛盾的： - ）

Prolog：删除字符流中的额外空格

1 个答案: