我正在尝试使用给定的转换脚本将 Nessus 扫描 xml 文件转换为 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)]
..还有更多类似的“无程序 usermod : ...”错误
我以前没有使用过 XSB/Prolog，所以如果有人知道发生了什么或者你想查看一些源代码，请告诉我