다른 디렉토리에있는 모듈에서 술어 선언을 찾는 방법

Question

SICStus spider, proDT 및 PDT과 같은 Prolog 플러그인의 경우 Eclipse 편집기에서 "find declaration"을 사용하여 다른 위치에있는 모듈에서 술어 정의를 찾을 수 없습니다 디렉토리. B.pl.의 상단에 모듈 database에 대한 import 문을 없다

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

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

예를 들어

, 위의 모든 플러그인은 모듈 database 및 술어 set_dbaccess에 대한 정의를 찾을 수 없습니다. 물론 기호 database, set_dbaccess에 대한 F3 작업도 실패합니다.

문제의 방법은 무엇입니까?

Answer 1

나는 정확히 당신이 원하는 것을 아주 확실하지 오전하지만 난 당신이 포함 pred_files 말 파일을 만들 수 있습니다 추측 : -dynamic pred1/2/3, ... 그리고 다른에서 술어를 사용해야 할 때마다 있어서도 이하를 .pl 파일을 사용할 수 있습니다 : -ensure_loaded (pred_files)