prolog解析操作问题

Question

这是问题所在。我想在count(a*b*c, * , N)上做一个prolog程序，它将计算*的a*b*c并返回N=2。

我该如何做到这一点？

我已经做了一些研究，要么将它作为字符串传递，要么使用列表来分开a*b*c。

但是，到目前为止没有任何成功。

Answer 1

表达a*b*c是一种简化的复合词：

?- write_canonical(a*b*c). 
*(*(a,b),c) 

你可以看到*是二元关系的只是仿函数和表达式树的访问可以使用univ内置来完成：

count(Expression, Request, N) :- 
    ( Expression =.. [Op, Left, Right] 
    -> count(Left, Request, NLeft), 
     count(Right, Request, NRight), 
     ( Request == Op 
     -> N is NLeft + NRight + 1 
     ; N is NLeft + NRight 
     ) 
    ; N = 0 
    ). 

这将接受树上表达与任何二进制运算符，但还，例如

?- count(e(a,e(b,c)),e,N). 
N = 2. 

Answer 2

它只能算*，但修改它来计算其他的事情应该是这么难：

main :- 
    atom_chars('a*b*c', CharList), 
    star_counter(CharList, Count), 
    write(Count). 

star_counter([], 0). 

star_counter(['*'|R], Count) :- 
    star_counter(R, Sum), 
    Count is Sum + 1. 

star_counter([H|R], Count) :- 
    star_counter(R, Count). 

编辑以下是带有字符参数的版本，你要查找：

main :- 
    atom_chars('a*b*c', CharList), 
    star_counter('*',CharList, Count), 
    write(Count). 

star_counter(_,[], 0). 

star_counter(X,[X|R], Count) :- 
    star_counter(X,R, Sum), 
    Count is Sum + 1. 

star_counter(X,[_|R], Count) :- 
    star_counter(X,R, Count).