使用.p
输入Nessuss_translate.sh
创建mulVAL
文件时,出现此错误:
?- ++Error[XSB/Runtime/P]: [Existence (No procedure usermod : vulExists / 3 exists)] []
Forward Continuation...
... machine:xsb_backtrace/1 From /opt/moudles/XSB/syslib/machine.xwam
... standard:call_c/1 From /opt/moudles/XSB/syslib/standard.xwam
... standard:call/1 From /opt/moudles/XSB/syslib/standard.xwam
... setof:bfindall/4 From /opt/moudles/XSB/syslib/setof.xwam
... setof:bagof1/3 From /opt/moudles/XSB/syslib/setof.xwam
... setof:setof/3 From /opt/moudles/XSB/syslib/setof.xwam
... standard:call/1 From /opt/moudles/XSB/syslib/standard.xwam
... setof:findall/3 From /opt/moudles/XSB/syslib/setof.xwam
... x_interp:_$call/1 From /opt/moudles/XSB/syslib/x_interp.xwam
... x_interp:call_query/1 From /opt/moudles/XSB/syslib/x_interp.xwam
... standard:call/1 From /opt/moudles/XSB/syslib/standard.xwam
... standard:catch/3 From /opt/moudles/XSB/syslib/standard.xwam
... x_interp:interpreter/0 From /opt/moudles/XSB/syslib/x_interp.xwam
... loader:ll_code_call/3 From /opt/moudles/XSB/syslib/loader.xwam
... loader:load_object_file/2 From /opt/moudles/XSB/syslib/loader.xwam
... standard:call/1 From /opt/moudles/XSB/syslib/standard.xwam
... standard:catch/3 From /opt/moudles/XSB/syslib/standard.xwam
?- ++Error[XSB/Runtime/P]: [Existence (No procedure usermod : networkServiceInfo / 5 exists)] []
如何解决?