質問をしたいのですが。exec関数を使用してphpをSWI-Prologに接続しようとしましたが、成功しました。私は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が真または偽の応答をエコーすることです。どうすればそれを達成できますか?
よろしくお願いします。