Re: large databases

On 2008-05-23, Simon Strobl <Simon.Strobl@xxxxxxxxx> wrote:

SWI should load this *much* faster, so something is wrong.

Oddly enough, I cannot reproduce the problem with Swi. It is working
now. Maybe my screen session crashed or there was a server problem.
Thanks for your tips, anyway.

Here is part of my Swi session:

Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 5.6.55)
Copyright (c) 1990-2008 University of 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).

?- consult(data).
% data compiled 6743.67 sec, 11,872,550,352 bytes
true.

Next time, try

?- qcompile(data).

That will load data and produce the file date.qlf. The next

?- [data].

will load data.qlf, which loads roughly 10 times faster (depending on
the structure of the data, whether loading is CPU bound or I/O bound,
etc.).

Enjoy --- Jan
.

Relevant Pages

  • Re: large databases
    ... I cannot reproduce the problem with Swi. ... Maybe my screen session crashed or there was a server problem. ... SWI-Prolog comes with ABSOLUTELY NO WARRANTY. ... That will load data and produce the file date.qlf. ...
    (comp.lang.prolog)
  • Re: large databases
    ... Prolog does not manage to load the facts. ... As I said, Yap crashes ... I will wait a week or two in order to see if Swi can load the ...
    (comp.lang.prolog)
  • Re: large databases
    ... I cannot reproduce the problem with Swi. ... Maybe my screen session crashed or there was a server problem. ... SWI-Prolog comes with ABSOLUTELY NO WARRANTY. ...
    (comp.lang.prolog)
  • Re: Directly loading squashed sprite files (How To??)
    ... put through!Squash equally well... ... into the buffer and checks for the SQSH magic. ... load the file directly into a sprite area. ... chunk in turn to SWI Squash_Decompress. ...
    (comp.sys.acorn.programmer)
  • Re: Where did this group go?
    ... groups I load (including cros-post blockers). ... has started loading a few messages each time, ... the sounds of this message though, I think you had a server problem, ...
    (alt.support.diabetes)