prolog - ファイルを参照して swi-prolog をより高速に実行する方法

Question

プロローグ ファイル (.pl 拡張子付き) があります。プロローグ ファイルには現在、少なくとも 200000 行以上 (ファイルのサイズは ~20MB) があります。ファイルを使用したいときはいつでもswi-prologにロードする必要があります（「consult」述語を使用します）が、この方法では、参照するのに時間がかかります..（現在10分以上）

したがって、最小限の時間でファイルを参照する別の方法を知っている人は、助けてください。少し早いですがお礼を。

Answer 1

you should precompile your data: see docs.

edit: I'm sorry I suggested a wrong link above: the right one is qcompile. Here a test with wordnet data:

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

after qcompile('/home/carlo/prolog/wordnet30/prolog/wn_sk'), that generates the .qlf:

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

qcompile perform a good speedup (almost 18 times faster), but requires some additional disk space.

edit on the full wordnet 3.0 relations (34.8 Mb) qcompile performs quite well: we pass from 69.8 sec to 3.1 sec. It requires 39.8 Mb additional disk space (for .qlf files).