Prolog是最常用的逻辑编程语言。它通过按时间顺序回溯和通过统一的模式匹配来支持非确定性编程。
我有一个背包问题要在B-Prolog中解决。我必须写一些类似：背包（X，索引，数量，重量，数值，容量）X - 数组，其中包含放入包中的第i项数量...
我是prolog的新手，我正在努力解决这个难题。我在youtube上做了一些关于prolog基础知识的教程，但我需要一些帮助解决下面的难题。两个星期前，四个......
我有以下代码，工作，洗牌两个列表：shuffle（[]，[]，[]）。 shuffle（[X | Xs]，Ys，[X | Zs]）： - shuffle（Xs，Ys，Zs）。 shuffle（Xs，[Y | Ys]，[Y | Zs]）： - shuffle（Xs，Ys，...
有没有更好的方法来调整gerrit插入代码大小基于规则和排除文件路径？
我们已经应用了一个提交规则来弹出经理批准，如果插入的代码大小> 300行，那么效果很好。但现在团队还有进一步的要求：1。需要排除一些文件路径，如第三方的文件。 ...
假设我希望解决SWI-Prolog中列表的总和。最明显的解决方案是形式：sum（[]，0）。 sum（[H | T]，S）： - sum（T，SofT），S是SofT + H.它的工作原理与...完全相同
我是Prolog的新手，目前正在实施DFS（深度优先搜索）和BFS（广度优先搜索）算法。我的DFS可以正常工作，如下面的代码，但BFS终止并中止...
正如标题所示，我的prolog代码抛出了语法错误。我不确定我做错了什么。我使用Swi作为我的IDE，我尝试用它来解决问题，但无济于事。继承人......
我有两个Prolog的实现，函数是决定给定的数字是奇数还是第一个是否正常工作even1（0）。 even1（X）： - X> 0，X1是X-1，odd1（X1）。 odd1（1）。 odd1（X）......
我在大学学习之后正在重新审视Prolog，并且想描述一个包含函数类型的类型层次结构。到目前为止，这是我得到的（SWISH链接）：％subtype / 2如果第一个是真的......
： - use_module（library（clpfd））。 go（行）： - foreach（J在1..9，K在1..9，Number =行[J，K]，代码是0'A +数字 - 1，char_code（字母，代码），行[ J，K]是Letter，nl）数独（行）： - ......
我想通过Prolog中的corecursion解决以下动态编程问题。但我仍然坚持做一个广泛的第一次搜索，我希望以一种纠正的方式实现：...
我正在使用Prolog编写脚本程序，在那里他们通过管道和JSON格式的数据进行交谈。除了json_read_dict / 2关系外，一切正常。 ？ - json_read_dict（F，“[{\”...
如果插入的代码超过定义的阈值，我们使用gerrit 2.11添加经理批准标签。 prolog rules.pl如下。我可以使用第7行和注释第8行删除“Manager-Approval”;但......
以下故事来自N. Wirth（1976）Algorithms + Datastructures = Programs。我娶了一个寡妇（让我们称她为W），她有一个成年女儿（叫她D）。我的父亲（F）访问过......
我是Prolog的新手。我有这样的事实：用户（爱丽丝）。用户（BOB）。钱（爱丽丝，10）。钱（鲍勃，20）。事实意味着爱丽丝有10美元和20美元。为了学习Prolog，我想......
我在Prolog中有一个带边的图形。我将图表表示为一组序言事实。例如S（A，B，2）。 = b是a的继承者。以下是此图表的prolog事实。事实：s（a，b，2）。 ...
我在Prolog中将我的语法定义为DCG（Definite Clause Grammar）。现在我想根据我的知识库中的事实生成一些短语。例如，如果我喜欢（标记，......
我正在阅读Prolog教程。它告诉我可以通过输入以下命令加载其他prolog文件：[filename]。但是每次我尝试这个都会出现错误：load_files / 2：参数不够......
Prolog - 使用否定（声明方法）将member / 2定义为仅对每个数字成功一次
我正在尝试为member / 2写一个替代定义，它不会返回数字的重复（即每个元素只会成功一次）。我目前使用这个代码工作...