[Yap-users] tabling problem

[Davide N. <dav...@cs...>]

Dear all,
I have problems with tabling with any version (6.2.3 and 6.3.3), in some
cases abolish_all_tables crashes yap. (not always, for some specific
programs)
I also have problem with this simple blocksworld program when I run, for
example, the query goal(2,S). it crashes
if I do a trace I get strange numbers that should not be there e.g.:
% trace
 ?- goal(2,S).
          (1)    call:goal(2,_131661) ?
          (2)    call:on(5,4,2,_131661) ?
          (3)    call:on(5,4,_131847,_131843) ?
?         (3)    exit:on(5,4,0,[]) ?
          (4)    call:*3826* is 1+1 ?
          (4)    fail:3826 is 1+1 ?
          (5)    call:3826 is 1+1 ?
          (5)    fail:3826 is 1+1 ?

at (4) the goal is NextT is T+1, but NextT should be a variable (not
grounded), instead I get the number *3826* that comes from nowhere.
the problem seems related to tabling.
any idea?

thanks!

Davide

results without tracing:
YAP 6.3.3 (x86_64-linux): Mon Jul 28 17:40:18 CEST 2014
MYDDAS version MYDDAS-0.9.1
 ?- goal(2,S).
%
%
% YAP OOOPS: tried to access illegal address 0x80!!!!.
%
%
%
% PC: meta-call
%   Continuation: user:on/4 at clause 6
%    1175KB of Global Stack (0x7fa92b951018--0x7fa92ba76db0)
%    537KB of Local Stack (0x7fa92bb22be8--0x7fa92bba9010)
%    163KB of Trail (0x7fa92bba9018--0x7fa92bbd1fd8)
%    Performed 0 garbage collections
% All Active Calls and
%         Goals With Alternatives Open  (Global In Use--Local In Use)
%
%         meta-call (1036KB--26KB)
%  user:on/4 at clause 6
%  user:on/4 at clause 6
%         meta-call (1036KB--25KB)
%         meta-call (1036KB--25KB)
%  user:movesucceed/6 at clause 1
%  user:clear/3 at clause 4
%         meta-call (1036KB--24KB)
%  user:clear/3 at clause 3
%         meta-call (1036KB--24KB)
%  user:movesucceed/6 at clause 1
%  user:on/4 at clause 7
%         meta-call (1035KB--23KB)
%  user:on/4 at clause 6
%         meta-call (1035KB--22KB)
%         user:clear/3 (1035KB--22KB)
%         meta-call (1035KB--22KB)
%         user:clear/3 (1035KB--22KB)
%  user:movesucceed/6 at clause 1
%         meta-call (1032KB--12KB)
%  user:on/4 at clause
6                                                                                                                                                     

%  user:on/4 at clause
6                                                                                                                                                     

%         meta-call
(1032KB--12KB)                                                                                                                                           

%         user:clear/3
(1032KB--11KB)                                                                                                                                        

%         meta-call (1032KB--11KB)
%  user:movesucceed/6 at clause 1
%         meta-call (1029KB--3KB)
%  user:clear/3 at clause 3
%  user:movesucceed/6 at clause 1
%  user:clear/3 at clause 4
%         meta-call (1028KB--2KB)
%  user:clear/3 at clause 3
%         user:clear/3 (1028KB--1KB)
%  user:movesucceed/6 at clause 1
%  user:on/4 at clause 7
%         meta-call (1028KB--1KB)
%  user:on/4 at clause 6
%  user:goal/2 at clause 1
%  prolog:$query/2 at clause 3
%  prolog:$command/4 at clause 2
%  prolog:$enter_top_level/0 at clause 5
%         prolog:$catch/3 (1027KB--0KB)
%  prolog:$system_catch/4 at clause 1
%  meta-call
%  meta-call
%  meta-call
%  meta-call

   Exiting ....


Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm