在prolog中,或者至少在SWI-Prolog中,您可以加载文件
[filename].
或
['filename.ext'].
或
[path/to/file].
或
['path/to/file.ext'].
但是,我想预处理要加载的文件,因此我需要将上面的单例列表的内容作为兼容的文件路径,将其用作open/3
的第一个参数。目前的工作原理:
expand_query/4
什么无效:
+SrcDest
中使用»2.«提到的变量为open/3
。那么我如何处理准路径到实际路径,以便上面提到的4种加载模块的方法中的任何一种都有效?