<pre><code>convertBinToDec(B,D):- atom_number(S,B), atom_length(S,L), sub_atom(S, 0, 1, After,

我是 Prolog 的新手，正在做家庭作业我的程序应该首先使用深度来解决无流问题，我不需要完整的代码，

为什么 prolog 在这样的数值计算中如此快速和准确 <pre><code>factorial(X, N) :- N = 0, X is 1; N &

寻找SWI-prolog的记录库示例 - |                                                                                                                   关闭。这个问题是题外话...

如何使用SWI-Prolog的语义网库查询RDF / OWL？ - | 如何使用SWI-Prolog语义网库对OWL / RDF文件进行查询并提取一些信息？ OWL / RDF文件包含有关所有Debian软件包的信息，因此我需要进行查询才能找到软件包的依赖关系。 例如： OWL文件的结构如下： package: ...

正如上面的标题，如何使这成为可能？ 例如： <pre><code>**Facts:** parent(child, parent). parent(child, parent2).

我正在尝试编写 prolog 应用程序，但动态预测不起作用，我不知道为什么。我想通过动态预测更改我的位

有一个用数字填充的列表 <code>List</code>，我想获得一个 <code>Pairs</code> 对列表，其中 <code>Pairs</code> 中的

这是我要找的。我想连接一个给定的列表，例如： <pre><code>list = [a,b,c,d] </code></pre> 我想连接这些字

为什么在使用 Eclipse 时文件运行没有问题，但是当我创建相同程序的 jar 文件时，我无法在我的电脑上本

我想在 SWI Prolog 中自动手动下载从 <a href="https://live.euronext.com/en/products/equities/list" rel="nofollow noreferrer">Eur

我在prolog online的99-problems中发现了这个问题。有一个解决方案（与我的无关），我想知道为什么我的不

我正在学习 prolog 并且遇到了“cut and fail”组合，据我所知，它们可以用作保护子句。我试过尝试它，但

我有以下事实和规则： <pre><code>/* fact */ parent(parent1, child1). parent(parent2, child1). parent(parent1, child2). paren

我提供的后代定义如下： "<em>直系祖先的人。例如：孩子， 孙子、曾孙和永远</em>" 以及其他

我找到了 <a href="https://stackoverflow.com/a/41212369/6999690">that for swi-prolog it exists findnsols</a>，但是它对我不起

作为序言中的练习，我试图将一个整数列表转换为一个整数，就像我们有一个列表 [1,2,3] 然后它输出 123

我有以下程序： <pre><code>ingrediente(X):- member(X, [ &#34;almendra&#34;

我想使用持久性库 (<a href="https://www.swi-prolog.org/pldoc/man?section=persistency" rel="nofollow noreferrer">https://www.swi-pr

我开始学习 prolog，但我被这个问题困住了，如果有人能告诉我我做错了什么以及为什么错了，这将非常