3

我目前正在创建一个 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,而第二次尝试在运行时抛出了一个存在错误。如果有人能提供一些启示,那将不胜感激。

4

1 回答 1

3

没关系,经过多次实验,我找到了答案。在我的情况下,正确的断言方法如下:

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

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

于 2019-10-29T07:44:43.660 回答