我正在玩 DCG,我有这个代码。这将显示s 的x
数量和s 的数量。0
x
A
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 的数量成为 s 的数量的两倍0
。这是我尝试过的,但它不起作用。
y --> test(Count), as(add(Count,Count,R)).
如果我只想添加一个,这就是它所做的并且工作正常。
y --> test(Count), as(succ(Count)).