DCG加倍计数

Question

我正在玩DCG，我有这个代码。这显示x号码0 s和x号码A s。

y --> test(Count), as(Count). 

test(0) --> []. 
test(succ(0)) --> [0]. 
test(succ(succ(Count))) --> [0], test(Count), [0]. 

as(0) --> []. 
as(succ(Count)) --> [a],as(Count). 

我的问题是我如何通过一个函子，以使A S的0双打的数目。这是我的尝试，但它不起作用。

y --> test(Count), as(add(Count,Count,R)). 

如果我只想添加一个，这是什么，它工作正常。

y --> test(Count), as(succ(Count)). 

Answer 1

y --> test(Count), as(Count), as(Count). 

或

y --> test(Count), {add(Count,Count,DCount)}, as(DCount). 

Answer 2

或者你可以双击该succ为test

y --> test(Count), as(Count). 

test(0) --> []. 
test(succ(succ(Count))) --> [0], test(Count). 

as(0) --> []. 
as(succ(Count)) --> [a], as(Count).