修改delMember谓词：移除列表全空格元素且无匹配时返回原列表

基础背景 #

• 原有delMember谓词的设计目标是移除列表中与指定元素完全匹配的所有出现项，参考基础实现：

delMember(_, [], []).
delMember(X, [X|Xs], Y) :-
    delMember(X, Xs, Y).
delMember(X, [T|Xs], [T|Y]) :-
    dif(X, T),
    delMember(X, Xs, Y).

• 实际应用中的能力缺口：逐行读取文件生成列表时，部分行是任意长度的全空格脏数据，原有逻辑仅能移除固定匹配值（比如单个空格），需要补充两项核心能力：
  • 识别并移除任意长度、完全由空格构成的元素，不再局限于单个空格的匹配
  • 当列表中不存在全空格元素时，原样返回输入列表，不出现逻辑偏差

修改实现思路 #

原谓词的删除触发逻辑是“元素与固定值X完全相等”，在全空格过滤场景下不需要绑定固定删除值，只需将删除判定条件从“等于指定值”替换为“满足全空格特征”即可：

1. 实现全空格判定谓词，覆盖任意长度的空格识别：

   % 判断输入元素是否为全空格字符串
   is_all_spaces(Str) :-
       string_chars(Str, Chars),
       forall(member(Ch, Chars), Ch == ' ').
   

2. 基于判定逻辑重构递归删除规则：

   % 移除列表中所有全空格元素的谓词
   delAllSpaces([], []).
   % 当前元素为全空格时，跳过该元素，递归处理剩余列表
   delAllSpaces([Head|Tail], Result) :-
       is_all_spaces(Head),
       delAllSpaces(Tail, Result).
   % 当前元素非全空格时，保留该元素，拼接剩余递归结果
   delAllSpaces([Head|Tail], [Head|Result]) :-
       \+ is_all_spaces(Head),
       delAllSpaces(Tail, Result).
   

实现效果 #

• 全空格移除覆盖：所有长度的全空格元素（1个空格到连续N个空格）都会被识别并移除，解决了原有逻辑只能匹配单个空格的问题
• 边界逻辑兼容：当列表中不存在全空格元素时，递归过程会完整保留原列表的顺序和内容，最终返回结果与输入列表完全一致

内容的提问来源于stack exchange，提问作者JohnStartop