Roberto Bagnara | 1 Sep 22:01

Maximum number of foreign predicates?


Hi there,

I am experiencing a problem with YAP 5.1.3 that could be explained
if there is a maximum number of foreign predicates that can be
declared with YAP_UserCPredicate().  At the 1132th invocation
of  YAP_UserCPredicate() I get:

% 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 ....

If there is not such a maximum number, how could I investigate this
problem further?
All the best,

    Roberto

--

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@...

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/

Gmane