When I run the theory growinghead_3_0.cpl (see attachments), I get the following:
% ../../XSB/bin/xsb [xsb_configuration loaded] [sysinitrc loaded] XSB Version 3.4.0 (Soy mILK) of May 1, 2013 [x86_64-unknown-linux-gnu 64 bits; mode: optimal; engine: slg-wam; scheduling: local] [Patch date: 2013/05/02 17:42:32] | ?- [pita]. [pita loaded] [pita_int loaded] [pita_lib loaded] yes | ?- load(growinghead_3_0). [Compiling ./growinghead_3_0] [growinghead_3_0 compiled, cpu time used: 0.0140 seconds] [growinghead_3_0 loaded] yes | ?- prob(a0, P). Partial Forward Continuation... ... suspend_on_forign_function/3 ... call/1 ... _$a0/1 ... call/1 ... _$call/1 ... call_query/1 ... call/1 ... catch/3 ... interpreter/0 ... ll_code_call/3 ... call/1 ... catch/3 ++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...
Other theories work fine.