SWI-Prolog、Eclipse、および Java を一緒に使用したいのですが、相互に関連する 2 つの問題があります。
PDT は、「Java コードが SWI-Prolog と対話できるようにするサブシステム」が含まれていると述べています。これだけで十分なのか、それともInterProlog、JPL、またはこれら 3 つの組み合わせを使用する必要があるのかはわかりません。
バックグラウンド
データ型にJUNGを使用する既存の Java コード ベースと対話したいので、Java オブジェクトの階層にきちんと適合することが役立つ場合があります。(ツリーやグラフなどの JUNG オブジェクトを自分のドメインとして制約を適用したいと考えていますが、必要に応じて遠回しに、つまり、JUNG オブジェクトを SWI の利用可能な制約モードでより管理しやすいデータ型にマッピングすることによって、喜んでこれを行います。 )
PC と MAC にデプロイしたいのですが、SWI 用のCHRrp パッケージも試してみたいと思っています。