prolog - 如何以更快的方式将文件查阅到 swi-prolog

Question

我有一个 prolog 文件(扩展名为 .pl)，我的 prolog 文件目前至少有 >200000 行(文件大小约为 20MB)。每当我想使用该文件时，我都必须将它加载到 swi-prolog(我使用“咨询”谓词)，但是通过这种方式，我需要花费很多时间来咨询..(现在 >10 分钟)

所以，谁知道另一种用最短时间查阅文件的方法，请帮助我。预先感谢。

Answer 1

你应该预编译你的数据:见docs .

编辑:很抱歉，我在上面建议了一个错误的链接:正确的是 qcompile .这是一个使用 wordnet 数据的测试:

?- load_relation(sk, N).
% /home/carlo/prolog/wordnet30/prolog/wn_sk compiled into wordnet 14,11 sec, 212,559 clauses
N = 3 .

在 qcompile('/home/carlo/prolog/wordnet30/prolog/wn_sk') 之后，生成 .qlf:

?- load_relation(sk, N).
% /home/carlo/prolog/wordnet30/prolog/wn_sk loaded into wordnet 0,81 sec, 212,558 clauses
N = 3 .

qcompile 执行良好的加速(几乎快 18 倍)，但需要一些额外的磁盘空间。

编辑 完整的 wordnet 3.0 关系 (34.8 Mb) qcompile 表现相当不错:我们从 69.8 秒减少到 3.1 秒。它需要 39.8 Mb 的额外磁盘空间(用于 .qlf 文件)。