prolog 相关问题

语法错误：。或表达式1错误编译失败后预期的运算符

域名列表=整数*;谓词member12（名单，名单，名单）;条款成员12（[]，L，L）。 member12（[X | L1]，L2，[X | L3]）： - member12（L1，L2，L3）。

检查元素后返回列表的Prolog谓词

我是prolog的新手。我正在尝试编写一个接受元素和列表的谓词，并检查列表中元素的出现并返回元素后面的其余列表。 ...

Prolog试图制作固定大小的空列表

我正试图用这些维度在prolog中创建一个列表：[[[_，_，_，_，_，_，_，_，_]，[_，_，_，_，_，_，_ ，_，_]]，[[_，_，_，_，_，_，_，_，_]，[_，_，_，_，_，_，_，_，_]]，[ [_，_，_，_，_，_，_，_，_]，[_，_，_，_，_，_，_，_，_]]，[[_，_，_，_ ...

如何从ACE生成arff文件

我正在使用ACE数据挖掘包https://dtai.cs.kuleuven.be/ACE/doc/ACEuser-1.2.16.pdf，它使用归纳逻辑编程。我正在使用WARMR来查找频繁的查询。在手册中......

误区链/ 2？

如果我有（加载clpfd）：test1（Ps）： - 置换（Ps，[（a，1,1），（b，2,2），（c，3,1），（d，4,2） ）]），Ps = [（L1，W1，X1），（L2，W2，X2），（L3，W3，Y1），（L4，W4，Y2）]，链（[W1，W2，W3，W4] ]＃

使用启发式值贪婪搜索prolog

我有一个图表和一个启发式表，列表连接和节点值以及成本（启发式表）。图：启发式表：它们在prolog中表示如下。 S（A，B，2）。 S（A，C ，...

Pyswip错误：系统无法找到指定的注册表项或值

我想在我的项目中使用pyswip。我试图通过Pycharm安装pyswip。它可以成功安装。操作系统：Windows 10 64位IDE：Pycharm 2018.3.2语言：Python 3.7 Pyswip版本：0.2.7 ...

对于length / 2，如何添加人类可读的变量名称

如何为系统生成的变量名显示人类可读的变量名？举个简单的例子：？ - 长度（Ls，N）。 Ls = []，N = 0; Ls = [_ 5112]，N = 1; Ls = [_ 5112，_5118]，N = 2; Ls = ......

流模式中的参数数量错误

所以我创建了这个简单的AI代码，我想在我的代码中添加一个简单的乘法数学，所以它就像这样做了域名bonus =整数谓词crew_db（字符串，整数，字符串） - nondeterm（o，o，o）...

为什么有些DCG测试用例使用断言（Rest == []）？

这个答案使用断言（Rest == []）？ pharse / 3是短语（：DCGBody，？List，？Rest）因为短语/ 2等同于短语（DCGBody，InputList，[]）。这只是Rest = []而在测试用例中......

如何使用append / 3以递归方式在prolog中构建列表？

我需要得到一些事实的价值观。那部分似乎有效。 fact1（A，_，Val1，_，_），fact2（_，B，Val2，_，_），A = B，但是一旦我尝试将这些值[（Val1，Val2）]附加到List （...

检查孩子是否在Prolog中至少有3个父母

我试图解决一个问题，你会得到一个事实列表，如：parent（a，b）。其中b是a的父级，我需要编写一个子句来确定某人是否至少有3个父母。 ...

在Python中实现Prolog统一算法？回溯

我正在尝试实施统一，但遇到问题......已经有很多例子，但他们所做的只是浑水。我比开明更困惑：http：//www.cs.trincoll.edu/~ram / ...

什么是Prolog中的 - >运算符，我该如何使用它？

我已经在一本书中读到了它，但根本没有解释。我也从未在程序中看到它。是Prolog语法的一部分吗？这是为了什么？你用它吗？