Yap crashes when consulting large databases with a certain content
Hello,
I would like to use large databases with Yap. Yet, Yap seems to have problems with databases of a certain format and size. I tried to consult a database of the following format:
ngram(3, 878603, 'Alle Rechte vorbehalten').
ngram(3, 700225, 'Süddeutsche Zeitung GmbH').
ngram(3, 688132, 'Eine Dienstleistung der').
ngram(3, 687959, 'DIZ München GmbH').
ngram(3, 687652, 'der DIZ München').
ngram(3, 687639, 'Dienstleistung der DIZ').
ngram(3, 687635, 'München Eine Dienstleistung').
ngram(3, 501763, 'in der Regel').
ngram(3, 456680, 'avoid browser bug').
ngram(3, 377626, 'in den letzten').
This works for 5000 ngram-clauses. With 6500 ngram-clauses, Yap-5-1.3 crashes, saying
% consulting tmp.pl...
% ERROR WITHIN ERROR: tried to access illegal address 0x89747!!!!
Yap-6 crashes with this message:
% Restoring file /usr/local/lib/Yap/startup.yss
YAP version Yap-6.0.0
?- consult(tmp).
% consulting tmp.pl...
ERROR!! (tmp.pl:4852).
%
%
% YAP OOOPS: tried to access illegal address 0x230!!!!.
%
%
2812KB of Code Space (0x2000000--0x22bf130)
%
% PC: $messages:print_message_line/3 at clause 4
% Continuation: prolog:print_message_lines/3 at clause 4
% 1025KB of Global Stack (0x233c000--0x243c698)
% 1KB of Local Stack (0x24cb900--0x24cc000)
% 0KB of Trail (0x24cc008--0x24cc068)
% Performed 0 garbage collections
% All Active Calls and
% Goals With Alternatives Open (Global In Use--Local In Use)
%
% prolog:print_message_lines/3 at clause 4
% prolog:print_message_lines/3 at clause 4
% prolog:print_message/2 at clause 3
% prolog:$LoopError/2 at clause 2
% prolog:$loop/2 at clause 1
% prolog:$do_lf/9 at clause 1
% prolog:$lf/14 at clause 7
% prolog:$load_files/3 at clause 1
% prolog:$do_yes_no/2 at clause 2
% prolog:$yes_no/2 at clause 1
% prolog:$command/4 at clause 2
% prolog:$enter_top_level/0 at clause 6
% prolog:$catch/3 (1024KB--0KB)
% prolog:$system_catch/4 at clause 1
% meta-call
Exiting ....
Is this due to bugs or do I have to use certain parameters for Yap to be able to load my file?
Simon