相当于 JPL7 中的“assert”

Question

我目前正在创建一个 Java Swing GUI，用户可以在其中选择他们喜欢的水果类型。根据他们的选择，只会显示某些水果产品。例如，如果用户选择“葡萄”，则仅显示葡萄果酱或葡萄汁等葡萄产品。问题在于如何将一些事实断言到 Prolog 中。例如，我试图断言用户选择了“葡萄”。太长了；我试图找到与 SWI-Prolog 命令等效的 JPL：assert(selected_fruit(grape)).以下是我尝试过的 2 个尝试。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());第一次尝试抛出了语法错误，而第二次尝试在运行时抛出了存在错误。如果有人能提供一些线索，我们将不胜感激。

Answer 1

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

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

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