我正在尝试在prolog中编写一个名为 occurrences(Sub, Term, N)
的谓词,如果 N
是 Term
中 Sub
的出现次数,则返回true . 我正在使用SWI-prolog,如果 Sub
包含在_1826957中,我发现built-in predicate called contains_term(Sub, Term)是真的 . 所以我正在尝试计算 contains_term
为真的次数并使其成为事件谓词中的 N
. 问题是我不太清楚如何做到这一点,并且 contains_term
是预定义的谓词这一事实使得它变得更难弄清楚 . 任何帮助,将不胜感激 .
1 回答