Menu

#243 XSB Error with MulVal

Performance problem
open
None
5
2020-05-20
2020-05-20
Adeel Malik
No

Hi
I am using XSB with MulVal and while running, I get the following error.

| ?- ++Error[XSB/Runtime/P]: [Existence (No procedure usermod : vuln_exists / 7 exists)] []
Forward Continuation...
... machine:xsb_backtrace/1 From /home/adeel/Downloads/XSB/syslib/machine.xwam
Partial Forward Continuation...
... psc_modname_filename/3 From /home/adeel/Downloads/XSB/syslib/error_handler.xwam
... psc_modname_filename/3 From /home/adeel/Downloads/XSB/syslib/error_handler.xwam
... print_mod_pred_arity_list/2 From /home/adeel/Downloads/XSB/syslib/error_handler.xwam
... print_backtrace/1 From /home/adeel/Downloads/XSB/syslib/error_handler.xwam
... catch/3 From /home/adeel/Downloads/XSB/syslib/standard.xwam
... interpreter/0 From /home/adeel/Downloads/XSB/syslib/x_interp.xwam
... ll_code_call/3 From /home/adeel/Downloads/XSB/syslib/loader.xwam
... load_object_file/2 From /home/adeel/Downloads/XSB/syslib/loader.xwam
... call/1 From /home/adeel/Downloads/XSB/syslib/standard.xwam
... catch/3 From /home/adeel/Downloads/XSB/syslib/standard.xwam

++Error[XSB]: [Runtime/C]
++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.

++Error[XSB]: [Runtime/C] Exiting XSB abnormally...

Please help.

Adeel

Discussion


Log in to post a comment.