如何在谓词中使用谓词“断言”

Question

我有一个问题我想要一个代码Prolog，因为我将使用谓词“assert”生成新的谓词，但我想使用我的谓词的结果。 我有一个谓词，它在这里计算列表元素的数量 我必须创建一个新的谓词，在我的知识库中使用谓词“assert”为我添加一个新的谓词，调用谓词“creat_nbStation”，他将使用2“断言”和“compte”作为例子我有creat_nbStation（ L）和L是一个Liste它会在我的知识库中添加一个新的谓词，它是使用断言谓词的nb_Station（L，25）。

谢谢你的帮助。 这是我计算列表元素数量的谓词，它完美地工作

compte([],0).
compte([_|R],N) :- compte(R,N1), N is N1+1, N>0.

Answer 1

很难弄清楚到底在找什么，但我必须说它看起来非常像家庭作业。这是你在找什么？

create_nbStation(L) :- compte(L, N), assert(nbStation(L, N)).