prolog - プロローグでREPL経由でロードされたファイルを開く方法は?

Question

Prolog、または少なくとも SWI-Prolog では、次のように入力してファイルをロードできます。

[filename].

また

['filename.ext'].

また

[path/to/file].

また

['path/to/file.ext'].

ただし、ロードされるファイルを前処理したいので、上記のシングルトン リストの内容を互換性のあるファイル パスにする必要があり、それを の最初の引数として使用しますopen/3。現在動作するもの:

1. を使用して REPL からクエリをキャッチするためのフックexpand_query/4
2. シングルトン リスト式のマッチングと 1 つの要素の変数へのバインド

機能しないもの:

• »2.« で述べた変数+SrcDestをopen/3.

では、モジュールをロードする上記の 4 つの方法のいずれかが機能するように、準パスを実際のパスに処理するにはどうすればよいでしょうか?