0

SICStus Spider 、proDT、およびPDTなどの Prolog プラグインの場合、Eclipse エディターの「宣言の検索」は、異なるディレクトリーにあるモジュールで述語定義を見つけることができません。

例えば、

$HOME/dirA/A.pl:
    :- module(database,[]).
    ...
    set_dbaccess(Options) :-
      (db_done ->
           true
           ; 
    ...

$HOME/dirB/B.pl:
    ...
    fd(From,To,OrigOptions) :-
       database:set_dbaccess(OrigOptions),
    ...

databaseB.pl の先頭にモジュールの import 文がありません。databaseそのため、上記のプラグインはすべて moduleと predicateの定義を見つけることができませんset_dbaccess。もちろん、シンボルに対する F3 操作database, set_dbaccessも失敗します。

問題の方法はありますか？

4

1 に答える 1

0

正確に何が必要かはよくわかりませんが、:-dynamic pred1/2、pred2/3、... を含む pred_files というファイルを作成できると思います。使用できる別の .pl ファイルで述語を使用する必要があるたびに:-ensure_loaded(pred_files)

于 2012-07-06T14:28:42.973 に答える