在 Prolog 中创建一个浅二元谓词以用原子“数字”替换列表中的所有数字

Question

我正在尝试创建一个深度二元谓词text/2，它将处理一个列表并用原子number 替换列表中的每个数字。

例子：

 ?- text([a,[[13]],b,14,c(5),8], Xs).
 Xs = [a,[[number]],b,number,c(5),number].

解决方案：

我尝试如下做，但得到了

警告：尝试在 SGETTOK 中读取文件末尾

代码是：

toNumber(In,number) :-
   number(In),
   !.
toNumber(In,In).

maplist(_,[],[]).
maplist(Pred,[InListHead|InListTail],[OutListHead|OutListTail]) :-
   Term = [Pred,InListHead,OutListHead],
   call(Term),
   maplist(Pred,InListHead,OutListHEad).

text(InListHead,OutListHead) :-
   maplist(toNumber,InListHead,OutListHead).

Answer 1

您可以使用以下内容：

text(List,New):-
  maplist(item_replace,List,New).

item_replace(Item,number):-
  number(Item).
item_replace(Item,Item).

问：

?- text([a,[[13]],b,14,c(5),8], Xs).
Xs = [a, [[13]], b, number, c(5), number] .

这将回溯到您可能不想要的其他答案。所以你可以添加一个剪辑。

item_replace(Item,number):-
  number(Item),!.
item_replace(Item,Item).

或

item_replace(Item,number):-
  number(Item).
item_replace(Item,Item):-
  \+number(Item).

另一种尝试使用一些逻辑纯度谓词的方法..

is_number(L,T):-
  number(L)->
  T =true;T=false.

item_replace(Item,Number):-
  if_(is_number(Item),Number=number,Number=Item).

text_2(List,New):-
  maplist(item_replace,List,New).

问：

?-text([a,[[13]],b,14,c(5),8], Xs).
Xs = [a, [[13]], b, number, c(5), number].