Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#219 Pita: Memory violation

Core Dump
open
nobody
None
5
2014-03-04
2014-03-04
wiebevr
No

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.

1 Attachments

Discussion