prolog - 无法在 Jekejeke Prolog 中创建事实

Question

我正在使用七周七种语言 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 方言。

Answer 1

assert/1 不是标准谓词，尽管有几个实现提供了它。 Jekejeke Prolog 的情况似乎并非如此。请改用 asserta/1 或 assertz/1 标准谓词。第一个断言子句作为谓词的第一个子句。后者断言一个子句作为谓词的最后一个。