$ /ar/pts/XSB/bin/xsb -e '[jatek], (import
times_jat_tab_nth/0
from jatek), times_jat_tab_nth, halt.'
[xsb_configuration loaded]
[sysinitrc loaded]
[packaging loaded]
XSB Version 2.5 (Okocim) of March 11, 2002
[i686-pc-linux-gnu; mode: optimal; engine: slg-wam; gc:
indirection; scheduling:
local]
Evaluating command line goal:
| ?- [jatek], (import times_jat_tab_nth/0 from jatek),
times_jat_tab_nth, halt.
| ?- [Compiling ./jatek]
[Module jatek compiled, cpu time used: 2.7490 seconds]
[jatek
loaded]
Success (timed): t5_tab_nth 0.0000 sec
Success (timed): t12_tab_nth 0.0000 sec
Success (timed): t14_tab_nth 0.0000 sec
Success (timed): t17_tab_nth 0.0000 sec
Success (timed): t19_tab_nth 0.0000 sec
Success (timed): t20_tab_nth 0.0000 sec
Success (timed): t21_tab_nth 0.0100 sec
Success (timed): t100_tab_nth 0.3100 sec
689
++Memory violation occurred during evaluation.
++Please report this problem using the XSB bug tracking
system accessible from
++ http://sourceforge.net/projects/xsb
++Please supply the steps necessary to reproduce the
bug.
Exiting XSB abnormally...
--- source code attached
.P
Logged In: YES
user_id=6694
There is a limitation in XSB's compiler in that the local
registers usage is not properly minimized. In this case, it
is affecting your predicate times_jat_tab_nth/0. If you
break it up into smaller predicates (more specifically, your
last call to jat_tab_nth should be in a predicate alone) it
works fine. I've uploaded one such version of this rewritten
predicate as an attachment.