如何在prolog中打开通过REPL加载的文件?

时间:2016-10-18 12:57:50

标签: prolog prolog-toplevel

在prolog中,或者至少在SWI-Prolog中,您可以加载文件

[filename].

['filename.ext'].

[path/to/file].

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

但是,我想预处理要加载的文件,因此我需要将上面的单例列表的内容作为兼容的文件路径,将其用作open/3的第一个参数。目前的工作原理:

  1. 使用expand_query/4
  2. 从REPL捕获查询的钩子
  3. 匹配单例列表表达式并将一个元素绑定到变量
  4. 什么无效:

    • +SrcDest中使用»2.«提到的变量为open/3

    那么我如何处理准路径到实际路径,以便上面提到的4种加载模块的方法中的任何一种都有效?

0 个答案:

没有答案