3

我想检查字符串中是否存在字符。Atom字符串和字符也是如此Ch。name是根据 ASCII 码转换数字列表中的字符串的谓词。

find_elementX是一个谓词，仅当元素是列表的一部分时才应该为真。C是一个计数器，它告诉我们元素X的确切位置。

这是我得到的结果：

?- exists(prolog,g). [103][112,114,111,108,111,103] false.

-------> 103 是字母“g”的 ASCII 码，列表[112,114,111,108,111,103]是表示字符串“prolog”的列表。这个问题exists(prolog,g)应该提供了一个真实的回答。

但是find_element谓词工作正常。我不明白为什么会这样，因为当我输入例如

?- find_element(5,[3,4,5,6,5,2],X).

我得到X= 3 ; X = 5 ; false. ---->

这绝对没问题，因为它告诉我 5 是列表的第三和第五个元素。

所以问题是find_element当我输入类似的东西时它正在工作，?- find_element(5,[3,4,5,6,5,2],X)但当我尝试调用谓词时它不是存在的（它调用find_element）。

这是代码：

find_element(X,[X|T],1).

find_element(X,[H|T],C):- find_element(X,T,TEMPC), C is TEMPC +1.

exists(Atom,Ch):- name(Atom,[X|T]), name(Ch,Z), write(Z), write([X|T]), find_element(Z,[X|T],Count).

提前致谢

4

1 回答 1

2

我已经清理了一些您的代码，并修复了一个错误：

find_element(X,[X|_], 1).
find_element(X,[_|T], C) :-
    find_element(X,T,TEMPC),
    C is TEMPC +1.

exists(Atom, Ch):-
    name(Atom, L),
    name(Ch, [Z]),
    find_element(Z, L, _Count).

注意name(Ch, [Z])提取单个字符。现在

?- exists(pippo,o).
true

值得注意的是

?- find_element(3, [1,2,3,4,1,2,3,4],P).
P = 3 ;
P = 7 ;
false.

?- nth1(P, [1,2,3,4,1,2,3,4], 3).
P = 3 ;
P = 7 ;
false.

您的 find_element/3 表现为 nth1/3，参数 1 和 3 交换。

当然有更简单和更通用的方法来执行这样的测试。使用像sub_atom /5 这样的 ISO 内置函数（一个非常强大的原子检查原语）

?- sub_atom(pippo, _,_,_, o).
true ;

或 memberchk/2，在转换为您已经知道的字符列表之后（但使用 ISO 内置atom_codes /2）

exists(Atom, Ch):-
    atom_codes(Atom, L),
    atom_codes(Ch, [Z]),
    memberchk(Z, L).

要计算 sub_atom 的出现次数，可以使用 library(aggregate)

occurences(Atom, Ch, N) :-
  aggregate_all(count, sub_atom(Atom, _,_,_, Ch), N).

?- occurences(pippo, p, X).
X = 3.
于 2012-12-17T20:18:29.870 回答