我目前正在创建一个 Java Swing GUI,用户可以在其中选择他们喜欢的水果类型。根据他们的选择,只会显示某些水果产品。例如,如果用户选择“葡萄”,则只显示葡萄产品,如葡萄酱或葡萄汁。
问题在于如何将一些事实断言到 Prolog 中。例如,我试图断言用户选择了“葡萄”。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,而第二次尝试在运行时抛出了一个存在错误。如果有人能提供一些启示,那将不胜感激。