parsing - prolog解析操作问题

Question

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

我怎样才能做到这一点？

我做了一些研究，要么将其作为 s 字符串传递，要么使用列表分隔 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.