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

Question

我有一个问题，我想要一个代码 Prolog，我将使用谓词“assert”生成新的谓词，但我想使用我的 predicate 的结果。我有一个谓词来计算列表元素的数量，我必须创建一个新谓词，使用我的知识库中的谓词“assert”添加一个新谓词，调用谓词“creat_nbStation”谁将使用 2 “assert” 和 “compte” 例如我有 creat_nbStation(L) 并且 L 是一个 Liste 它会在我的知识库中添加一个新谓词它是 nb_Station(L,25) 使用 assert predicate 。

感谢您的帮助。这是我计算列表元素数量的谓词，它工作得很好

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)).