相当于 JPL7 中的 "assert"

Question

我目前正在创建一个 Java Swing GUI，用户可以在其中 select 他们喜欢什么类型的水果。根据他们的选择，只会展示某些水果产品。例如，如果用户 selects "grape"，则仅显示葡萄果酱或葡萄汁等葡萄产品。

问题在于如何将某些事实断言到 Prolog 中。例如，我试图断言用户已 selected "grape"。 TLDR;我正在尝试找到与 SWI-Prolog 命令等效的 JPL：

assert(selected_fruit(grape)).

以下是我尝试过的两种尝试。

Query q2=new Query("assert selected_fruit(grape)");
System.out.println(q2.hasSolution());

我试过的另一个是：

Query q2 = new Query("selected_fruit", new Term[] {new Atom("grape")});
System.out.println(q2.hasSolution());

第一次尝试抛出了一个 syntax_error，而第二个尝试在运行上抛出了一个 existence_error。如果有人能提供一些启示，那将不胜感激。

Answer 1

没关系，我经过多次试验找到了答案。在我的案例中，正确的断言方法如下：

Query q2 = new Query("assert(selected_fruit(grape))");
System.out.println(q2.hasSolution());

然后控制台应该打印出 "true"。

Equivalent of "assert" in JPL7