Roberto Bagnara wrote:

-------- Original Message -------- Subject: Re: [Yap-users] Maximum number of foreign predicates? Date: Mon, 29 Sep 2008 00:04:21 +0100 From: Vítor Santos Costa <vsc@dcc.fc.up.pt> To: Roberto Bagnara <bagnara@cs.unipr.it> CC: yap-users@lists.sourceforge.net References: <48BC4A08.3060407@cs.unipr.it>

Hi Roberto (and yap-users)

Sorry for taking so long to reply.

I include a patch that seems to fix this bug for me. The patch and recent changes can also be found at

http://gitorious.org/projects/yap-git

The patch tries to handle DB overflows that may happen when you try to initialise a very large number of predicates. Please tell me if it works.

This is a temporary location: yap has now moved to a git development model, and temporarily I am using gitorious to keep a copy.

Cheers

Vitor

Hi Vitor. I just tried the patch on Yap-5.1.3 (on a x86_64 machine, also using --enable-dynamic-loading), but it seems not working. I keep obtaining the same error message: /bin/sh ../../../libtool --mode=execute \ -dlopen ../../../src/libppl.la \ -dlopen ../../../Watchdog/src/libpwl.la \ -dlopen ppl_yap.la \ yap -l /home/zaffanella/cvs-stuff/ppl/interfaces/Prolog/YAP/yap_pl_check.pl \ <script_pchk >obtained_pchk % Restoring file /usr/local//lib/Yap/startup YAP version Yap-5.1.3 % % % YAP OOOPS: tried to access illegal address 0x20!!!!. % % 2398KB of Code Space (0x8800000--0x8a57820) 9KB of Global Stack (0x8a5c000--0x8a5e740) 2KB of Local Stack (0x8be76c8--0x8be8000) 0KB of Trail (0x8be8008--0x8be80d0) Performed 0 garbage collections Running code at clause 1 of prolog:load_foreign_files/3 Continuation is at clause 1 of prolog:load_foreign_files/3 clause 1 of prolog:load_foreign_files/3 clause 2 of prolog:$do_yes_no/2 clause 6 of prolog:$process_directive/3 clause 6 of prolog:$execute_command/4 indexing code of prolog:$catch/3 (*) clause 1 of prolog:$system_catch/4 clause 1 of prolog:$loop/2 clause 1 of prolog:$do_lf/9 clause 7 of prolog:$lf/14 clause 1 of prolog:$load_files/3 clause 6 of prolog:$execute_command/4 indexing code of prolog:$catch/3 (*) clause 1 of prolog:$system_catch/4 clause 1 of prolog:$loop/2 clause 1 of prolog:$do_lf/9 clause 7 of prolog:$lf/14 clause 1 of prolog:$load_files/3 indexing code of prolog:$catch/3 (*) clause 1 of prolog:$system_catch/4 clause 1 of prolog:$do_startup_reconsult/1 clause 1 of prolog:$init_system/0 clause 1 of prolog:$live/0 meta-call Exiting .... make[3]: *** [pl_check_test] Error 1 Ciao, Enea.