Я хотел бы задать вопрос. Я попытался связать php с SWI-Prolog с помощью функции exec, и мои усилия были успешными. Мне удалось запросить пролог через php, и я смог ответить на ответ Пролога.
То, что я хочу сделать, но не могу понять, как это сделать, заключается в том, чтобы повторить возврат истинного / ложного пролога.
Предположим, что у меня есть простой файл 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!!'). Учитывая простую базу знаний выше, можно задать запросы и пролог.
например:
?- 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 эхо отзывал true или false. Как я могу это достичь?
Заранее спасибо за вашу помощь.