QLF Timings on 6million records

root@c3po:/opt/PrologMUD/pack/pldata_larkc/prolog/el_holds# swipl
Welcome TO SWI-Prolog (Multi-threaded, 64 bits, Version 7.3.4)
Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
AND you are welcome TO redistribute it under certain conditions.
Please visit http://www.swi-prolog.org FOR details.

FOR help, use ?- help(Topic). OR ?- apropos(Word).

?- time(['el_assertions.qlf']).
% 3,648 inferences, 6.205 CPU in 6.213 seconds (100% CPU, 588 Lips)
true.

?- time(qsave_program(compatQLF0,[autoload(false),goal((statistics(cputime,Time),writeln(user_output,Time)))])).
% 22,514,037 inferences, 36.441 CPU in 36.511 seconds (100% CPU, 617815 Lips)
true.

?-
% halt
root@c3po:/opt/PrologMUD/pack/pldata_larkc/prolog/el_holds# ./compatQLF0
7.112799221


root@c3po:/opt/PrologMUD/pack/pldata_larkc/prolog/el_holds# ls -l
total 2263188
-rwxr-xr-x 1 root root  563042175 Jul 25 18:07 compatQLF0
-rwxr-xr-x 1 root root       2911 Jul  3 03:03 el_assertions.pl
-rwxr-xr-x 1 root root   69078779 Jun 19 02:55 el_assertions.pl.rar
-rwxr-xr-x 1 root root  560782725 Jul  3 03:13 el_assertions.qlf
-rwxr-xr-x 1 root root 1124578930 Jun 18 20:41 el_holds.pl



root@c3po:/opt/PrologMUD/pack/pldata_larkc/prolog/el_holds# cat el_assertions.pl

:-module(el_assertions,[]).


:- style_check(-discontiguous).
:- style_check(-singleton).
% :- style_check(-atom).

:- dynamic el_holds_pred/1.

el_holds_pred_impl(el_holds_implies_plist_upred).
el_holds_pred_impl(el_holds_unary_implies_plist_upred).
el_holds_pred_impl(el_holds_unary_implies_upred).
el_holds_pred_impl(el_holds_implies_plist_varg).
el_holds_pred_impl(el_holds_implies_upred).
el_holds_pred_impl(el_holds_implies_varg).
el_holds_pred_impl(el_holds_implies_plist).
el_holds_pred_impl(el_holds_implies).

el_holds_pred_isa(el_holds_isa_varg).
el_holds_pred_isa(el_holds_isa).

el_holds_pred(el_holds_varg).
el_holds_pred(el_holds).

exportAll(Pred):- forall(between(4,16,X),
  (dynamic(Pred/X),
   export(Pred/X))).

:-  exportAll(el_holds_t),
    exportAll(el_holds_implies_t),
    forall(el_holds_pred_impl(Pred),exportAll(Pred)),
    forall(el_holds_pred_isa(Pred),exportAll(Pred)),
    forall(el_holds_pred(Pred),exportAll(Pred)),!.


:- ignore(((between(4,16,X),
       el_holds_pred_impl(Pred),length(PLIST,X),
       A =.. [el_holds_implies_t|PLIST],
       B =.. [Pred|PLIST],
       asserta((A:-B))),fail)).

:- ignore(((between(4,16,X),
       el_holds_pred(Pred),length(PLIST,X),
       A =.. [el_holds_t|PLIST],
       B =.. [Pred|PLIST],
       asserta((A:-B))),fail)).


el_holds_t(isa,E,C,MT,PROPS):-el_holds_isa_var(C,E,MT,PROPS).
el_holds(isa,E,C,MT,PROPS):-el_holds_isa(C,E,MT,PROPS).

:- include(el_holds).

end_of_file.