«Нет процедуры usermod: vulExists» в генераторе графиков MulVAL - PullRequest
Новая
       20

«Нет процедуры usermod: vulExists» в генераторе графиков MulVAL

0 голосов
/ 07 ноября 2019

При создании .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)] []

Как ее решить?

...