问题标签 [xsb]

问问题

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

35 问题
Newest
Active
Bountied
318
Unanswered
0 投票
4 回答
524 浏览

prolog - 如何在 Prolog 中模拟软剪辑？

如何模拟软切I *-> T; ISO Prolog中的E？我有副作用，所以我不能多次调用它。

除了最后一个要求，我认为以下定义有效：

（我实际上正在使用 XSB prolog；XSB 的解决方案对我也很有用。）

0 投票
1 回答
97 浏览

web-applications - 在服务器中托管 XSB Prolog

我想在服务器中托管 XSB Prolog。有人可以告诉我程序是什么吗？以下 git 链接解释了如何在服务器上托管 SWIPL，但同样不适用于 XSB https://github.com/SWI-Prolog/swish

非常感谢您的帮助。

0 投票
1 回答
81 浏览

server - 错误[XSB/Runtime/P]：[类型（库（http / thread_httpd）代替原子）]

我正在尝试在服务器中托管 XSB。我写了以下代码：

我收到以下错误

有人可以告诉我我在这里做错了什么。非常感谢您的帮助。

0 投票
0 回答
73 浏览

http - XSB Prolog 中的 use_module

我正在将 http 库从 SWI Prolog 移植到 XSB Prolog。我必须移植以下语句：

到 XSB。有人可以告诉我如何做到这一点。我知道移植并非易事。我需要使用set_setting, current_settingetc。我不确定 XSB 中是否存在等效功能。

非常感谢您的帮助。

0 投票
1 回答
419 浏览

prolog - 在哪里可以找到 SWI-Prolog 库源代码

我正在尝试将一些库从 SWI-Prolog 移植到 XSB-Prolog。我在哪里可以找到这些库的源代码？可以说我想移植url图书馆。我在哪里可以找到相同的 Prolog 源代码。我已经查看了以下链接： http ://www.swi-prolog.org/pldoc/man?section=summary-lib-url

0 投票
0 回答
89 浏览

prolog - FLORA2 v1.2 带有 Eclipse vizualizer 插件

刚开始玩http://flora.sf.net推理系统。

尝试配置 Window/Preferences/Flora-2 Preferences/Reasoner

指向已安装的 D:\FLORA 或 D:\FLORA\flora2 有消息框

Did you install Flora-2 with cygwin?

更新了 Eclipse，并从http://flora.sourceforge.net/visualizer安装了插件

和错误

FLORA-2 Visualizer did not find a configured version of FLORA-2 at a default location. Please specify the location of a configured FLORA-2 system using the following menu: Window -> Preferences -> Flora Reasoner

PS：实际上我不需要完整的插件，它可以只是一组植物脚本，可以以可视化的形式生成调试信息： GraphViz的.dot文件是最好的变体，或者一些.svg。

PSS：也许 InterProlog Studio 会是一个很好的 IDE 解决方案，需要进行一些调整。

0 投票
1 回答
339 浏览

prolog - 使用逻辑编程的不同瓷砖大小的滑动瓷砖拼图

所以我试图解决这里给出的展位安排问题。它基本上是一个滑动瓷砖拼图，其中一个（摊位）瓷砖必须到达目标点，最后所有其他（摊位）瓷砖应该在其原始位置。每个瓷砖/展位都有一个维度，以下是输入事实和关系描述：

  • room(W,H) 形式的一个事实，它指定
    房间的宽度 W 和高度 H (3 ≤ W, H ≤ 20)。
  • 一个事实展位（B），它
    指定展位的数量（1 ≤ B ≤ 20）。
  • 由形式维度（B，W，H）的事实组成的关系，它指定展位 B 的宽度 W 和高度 H。


  • 由position(B, W, H)形式的事实组成的关系，指定展位 B 的初始位置 (W, H)。

  • 一个事实 target(B, W, H)，指定
    目标展位 B的目的地 (W, H)。

  • 附加的事实水平（H）给出了要执行的移动次数的上限。

该程序应该从文件中读取输入事实，但我只是试图解决问题，所以我现在只是复制粘贴了一个可能的输入，并且我已经编写了一些基本条款：

我是 Prolog 的新手，我被困在如何从这里开始，我有 no_overlap 规则，所以我可以测试移动是否有效，但我不确定我拥有的当前条款如何。我当前的 move do/3 条款可能需要一些修改。任何指针？

0 投票
1 回答
118 浏览

prolog - 用 Prolog 列表中的任何数字（例如 8）替换前 K 个出现的 1

用任何其他数字替换数字的前 K 个出现。考虑在这里将 1 替换为 8。

这就是我的谓词的样子

它应该给出以下输出 -

这是我到目前为止写的代码

它似乎仅在我的第一个 X 出现为 1 时才有效。有人可以告诉我这里有什么问题吗？

0 投票
1 回答
114 浏览

centos7 - 通过mulval生成攻击图

我已经成功安装了 Mulval。问题是：我没有使用编码“graph_gen.sh /root/data/mulval/testcases/3host/input.P -v”获得 AttackGraph.pdf。

0 投票
0 回答
67 浏览

prolog - XSB 运行时错误 - MulVal

我正在尝试使用给定的转换脚本将 Nessus 扫描 xml 文件转换为 MulVal 输入，并得到以下运行时错误：

..还有更多类似的“无程序 usermod : ...”错误

我以前没有使用过 XSB/Prolog，所以如果有人知道发生了什么或者你想查看一些源代码，请告诉我


12345678910