1 Sep 22:01
Maximum number of foreign predicates?
From: Roberto Bagnara <bagnara@...>
Subject: Maximum number of foreign predicates?
Newsgroups: gmane.comp.ai.prolog.yap.general
Date: 2008-09-01 20:01:12 GMT
Subject: Maximum number of foreign predicates?
Newsgroups: gmane.comp.ai.prolog.yap.general
Date: 2008-09-01 20:01:12 GMT
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=/
RSS Feed