我正在使用七周七种语言 Prolog 教程，并尝试使用 Android Jekejeke 运行时运行一些示例。 例如，如果我添加
likes(wallace, grommit).
从教程中，我明白了。
Error: Undefined, private or package local predicate likes/2
我尝试使用断言，如 How to create a fact in SWI-Prolog? 中所述。 ，但随后它说 assert 未定义，而不是 likes。
大概我错过了一些关于运行时如何工作的基本知识，或者它的 prolog.it 方言。
最佳答案
assert/1 不是标准谓词，尽管有几个实现提供了它。 Jekejeke Prolog 的情况似乎并非如此。请改用 asserta/1 或 assertz/1 标准谓词。第一个断言子句作为谓词的第一个子句。后者断言一个子句作为谓词的最后一个。
关于prolog - 无法在 Jekejeke Prolog 中创建事实，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/28407037/