[PPL-devel] [Fwd: Re: [Yap-users] Maximum number of foreign predicates?]

[Enea Zaffanella]

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 at dcc.fc.up.pt>
> To: Roberto Bagnara <bagnara at cs.unipr.it>
> CC: yap-users at lists.sourceforge.net
> References: <48BC4A08.3060407 at 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.