如何回显Prolog在查询后返回的真/假值

时间:2012-09-14 15:56:08

标签: php swi-prolog

我想提出一个问题。我尝试使用exec函数将php连接到SWI-Prolog,我的努力成功了。我已经设法通过php查询prolog,我能够回应Prolog的答案。

我想做但无法想象如何完成它,就是回应真/假prolog的回报。

假设我有一个简单的knowledge_base.pl文件,其中包含以下事实和规则:


girl(erin).
boy(john).
likes(erin,reading).
likes(john,reading).
hangs_out_with(erin,X) :- likes(X,reading), boy(X), writeln('Someone s got a new friend!!').

鉴于上面的简单知识库,可以提出查询和prolog回应。

例如:

?- girl(erin). Prolog based on our knowledge base will respond true.
?- girl(john). Prolog based on our knowledge base will respond false.
?- hangs_out_with(erin,john). Proslog will respond : Someone s got a new friend!! true.

我需要的是PHP回应真或假的响应。我怎样才能做到这一点?

先谢谢你的帮助。

0 个答案:

没有答案