Я пытаюсь преобразовать XML-файл сканирования Nessus во входные данные MulVal, используя заданный сценарий преобразования, и получаю следующие ошибки времени выполнения:
Error[XSB/Runtime/P]: [Permission (Operation) redefine on imported predicate: lists : member / 2] in compile/1
Error[XSB/Runtime/P]: [Existence (No procedure usermod : vulProperty / 3 exists)]
.. и еще несколько похожих 'пользовательских процедур без процедуры:... 'error
Я раньше не работал с XSB / Prolog, поэтому, если у кого-нибудь есть какие-либо идеи о том, что происходит, или если вы хотите увидеть какой-то исходный код, сообщите мне