Prolog是最常用的逻辑编程语言。它通过按时间顺序回溯和通过统一的模式匹配来支持非确定性编程。
我正在使用 Prolog 艺术中的一些代码。该示例在 GNU Prolog 中不起作用。有谁知道我做错了什么？ mem(X,[X|Xs]). 用户：2：警告：mem/2 的单例变量 [Xs] 我...
我需要使用Prolog为给定的整数等级值绑定字母等级（>= 90是a，>= 80是b，依此类推。） 评估等级( X , f ) :- X >= 0.0 , X < 2.0. This works fine: evaluate...
我正在使用一个 Prolog 数据库，该数据库包含一组具有属性和值的实体。我想输出每个实体及其每个属性和值。 我对 Prolog 很陌生，...
我是 Prolog 新手。 我正在尝试使用序言搜索简单路径，但只找到基本情况（长度1或0）。 怎么了？ 代码 我参考几个例子重写了递归部分
模式匹配可以用point free的方式实现，网上有很多文章介绍。我想知道更普遍的情况是否也成立，即是否有可能影响...
我正在开发一个程序，该程序读取文本文件并按升序显示前 10 个最常用的单词并打印出来。我已经定义了停用词/连接词并将代码写入
899999以内的罗马数字和阿拉伯数字如何纯关联？而这次没有使用算术！因此没有 (is)/2 也没有 clpfd/clpz/clpq。缺乏与整数相关的任何方式，阿拉伯语
我正在用 Prolog 编写并且不断收到错误； 语法错误：当前或先前的运算符需要括号 当引用 te=he 以下代码时： convert_to_tokens([Word|Rest], [Token|RestTokens...
我在 Lee Naish 的论文 Prolog 中的高阶逻辑编程中遇到了一些不熟悉的 Prolog 语法。这是论文中的第一个代码示例： % 插入排序（简单版）...
需要实现一个swi-prolog程序，实现对无向图中所有圈的搜索，并输出结果，不重复。 例子： ？-find_cycles([a-[b,c,d],b-[a...
我是 Prolog 的新手，我正在做这个项目。我有关于英国君主制的数据，我正在研究一个“继承人”规则，该规则可以找到王位继承人或告诉我我的输入是否......
我正在尝试创建一个函数，该函数迭代 N 次我在列表上拥有的另一个函数，但我不知道为什么对于大于 0 的数字，答案是否定的。 函数单元应用一组规则 t...
我有一个代码在最后返回一个列表，我必须在最后添加一个'o'，但是 my_append 函数在测试它时有效但在我运行我的代码时它没有 % 颜色定义 颜色（o）。 c...
如何在 prolog 中创建一个包含每个元素的 prev 和 next 元素的三元组列表列表？
我一直在尝试从列表中取出元素并制作一个包含三个元素的列表的列表，例如： 从列表 [1,2,3,4] 中，结果将是 [[null,1,2],[1,2,3],[2,3,4],[3,4,null]]。 但是我...
如何在 SICStus 4.8.0 中将 UTF-8 设置为 open/3 的默认值
自最近的 4.8.0 以来，SICStus 至少在引用的上下文中支持 Prolog 文本中 ÿ 以上的 Unicode，即在引号标记 (* 6.4.2 *)、双引号列表 (* 6.4 *) 和角色...
我有一个 prolog 程序，其中包含一些谓词，当我查询其中一个谓词时，它会显示真实输出，但不会放置“。”最后转到下一个查询。 茶...
我正在尝试实现一个展开谓词，它接受一个命题公式并返回一个唯一的逻辑运算符是合取、析取和否定的公式。 代码： :- op(1060, yfx, &...
我正在尝试定义一个知识库，其中疾病有一系列症状。这是一个片段： 将 pytholog 导入为 pl diseases_kb = pl.KnowledgeBase() 疾病_kb([ “疾病（糖尿病，[
我正在尝试创建一个序言谓词来解决这个斑马问题，但是它会无限期地运行并且不会产生结果，我该如何解决这个问题。 这是斑马问题： 五个
鉴于程序 foo([]) --> []. foo([开始|休息]) --> 字母数字(开始), foo(休息)。 alphanum(Ch) --> [Ch], { char_type(Ch, alnum) }. 我怎样才能使查询 length(I, 2), phrase(foo(C)...