Prolog是最常用的逻辑编程语言。它通过按时间顺序回溯和通过统一的模式匹配来支持非确定性编程。
在Prolog中解决一个非常简单的练习：打印从1到100的所有数字，但不是数字，如果数字是3的倍数则打印'Fuzz'，如果是5的倍数则打'Buzz'，如果两者都是'FizzBu zz'。一世 ...
因此，我正在使用Definite Clause Grammars在SWI-Prolog中为一些编程语言编写简单的解析器。如果输入字符串或文件对所讨论的语言有效，则目标是返回true，...
我目前正在开发一个Prolog程序，它将在给出一组产品后生成一个CYK解析表。但是，我遇到麻烦检查两行，看看它们是否相同。 ...
所以我正在使用Definite Clause Grammars在SWI-Prolog中为Pascal编写一个简单的解析器。我不明白如何实现重复（2个或更多）或可选地重复（1个或多个）谓词。为......
我的问题：应用谓词并行过滤列表我有一个列表，我有一个谓词。在实践中，它是一个很长的列表，谓词需要一段时间。我只想输出......的元素
我想知道是否有办法在Swi-Prolog中返回一个Json对象，这样谓词名称就成了键，实例化的变量就成了值。例如：get_fruit（JS_out）： - ...
我正试图通过Prolog CLP FD使用限制编程来解决提出的难题。这个难题包含下一个简单的规则：现在，在我的代码中，我已经涵盖了限制......
如何列出列出男女学生注册课程名称的列表。代码：/ *学生（姓名，学生，年龄，性别）* /学生（braum，1234,22，男性）。学生（勒克斯，7839,26，女）。 ...
我坚持使用条件或查询来获得学生的姓名，其年龄必须超过“25”，教师必须是“jdoe”。我想要一个带2个参数的条件（年龄，老师）。如： ？-...
所以我正在编写一个包含规则waywest（X，Y）的数据库。 waywest占据了一条街道上的2座建筑物，并在建筑物X以西不同的地方返回建筑物Y. ...
域名列表=整数*;谓词member12（名单，名单，名单）;条款成员12（[]，L，L）。 member12（[X | L1]，L2，[X | L3]）： - member12（L1，L2，L3）。
我是prolog的新手。我正在尝试编写一个接受元素和列表的谓词，并检查列表中元素的出现并返回元素后面的其余列表。 ...
我正试图用这些维度在prolog中创建一个列表：[[[_，_，_，_，_，_，_，_，_]，[_，_，_，_，_，_，_ ，_，_]]，[[_，_，_，_，_，_，_，_，_]，[_，_，_，_，_，_，_，_，_]]，[ [_，_，_，_，_，_，_，_，_]，[_，_，_，_，_，_，_，_，_]]，[[_，_，_，_ ...
我正在使用ACE数据挖掘包https://dtai.cs.kuleuven.be/ACE/doc/ACEuser-1.2.16.pdf，它使用归纳逻辑编程。我正在使用WARMR来查找频繁的查询。在手册中......
如果我有（加载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中表示如下。 S（A，B，2）。 S（A，C ，...
我想在我的项目中使用pyswip。我试图通过Pycharm安装pyswip。它可以成功安装。操作系统：Windows 10 64位IDE：Pycharm 2018.3.2语言：Python 3.7 Pyswip版本：0.2.7 ...
如何为系统生成的变量名显示人类可读的变量名？举个简单的例子：？ - 长度（Ls，N）。 Ls = []，N = 0; Ls = [_ 5112]，N = 1; Ls = [_ 5112，_5118]，N = 2; Ls = ......
所以我创建了这个简单的AI代码，我想在我的代码中添加一个简单的乘法数学，所以它就像这样做了域名bonus =整数谓词crew_db（字符串，整数，字符串） - nondeterm（o，o，o）...
这个答案使用断言（Rest == []）？ pharse / 3是短语（：DCGBody，？List，？Rest）因为短语/ 2等同于短语（DCGBody，InputList，[]）。这只是Rest = []而在测试用例中......