个人中心
文章发布
退出
作者热门文章
- html - 出于某种原因，IE8 对我的 Sass 文件中继承的 html5 CSS 不友好？
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景？
28
4
当我在 GNU Prolog 和 SWI Prolog 上运行此代码时，它可以正确计算差异列表中的元素数量。然而，Yap 进入了无限循环。
count(X-X1,0) :- unify_with_occurs_check(X,X1), !.
count([H|T]-T1,N) :- count(T-T1,M), N is M+1.
?- count([1,2|A]-A,N).
为什么 Prolog 解释器(如 Yap)在询问此查询时不会终止？
最佳答案
Yap 5.1.3 似乎有一个错误
较新的版本(使用 Yap 6.2.2 测试)工作正常:
?- count([1,2|A]-A,N).
N = 2
关于Prolog 差异列出了 : code works on SWI and GNU Prolog, 但没有列出 Yap，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/11567050/
28
4
0
谁赋予了 SWI-Prolog 幽默感？ Welcome to SWI-Prolog (threaded, 64 bits, version 7.3.35) SWI-Prolog comes with
简单的例子: ?- between(1,10,X). X = 1 ; X = 2 ; X = 3 ; X = 4 ; X = 5 ; X = 6 ; X = 7 ; X = 8 ; X = 9 ; X
我有这个字符串: B='Dogs cats birds and fish'. 我需要它以下面的格式出现: Dogs, cats, birds, and fish 有没有可能发生这种情况？ 我试过 nl
我正在为 Prolog 查询编写一个部分评估器。我尝试使用 expand_goal/2 扩展查询，但它只是统一了 Input与 Output在这种情况下: :- initialization(main
在 SWI Prolog 终端中如何查看当前工作目录并更改当前工作目录？ 我发现: 工作目录(CWD，CWD) 但我不认为这是我需要的 最佳答案 要获取当前工作目录，请使用 working_direc
如何关闭 swi-prolog 中的警告。 Clauses of XXX/AA are not together in the source-file 很烦人。 最佳答案 相反，您可以修复警告。 di
我正在尝试使用此处文档中所谓的内置谓词 split_string/4:http://www.swi-prolog.org/pldoc/man?predicate=split_string/4 但是，当
从https://stackoverflow.com/a/44524628?noredirect=1跟进 :-use_module(library(http/http_client)). :-use_
我在序言SWI与CHR(约束处理规则)创建多个谜题解决者 一切都很好，但是，我喜欢测试哪个求解器是最好的。 因此，我想搞清楚，这解算器使用回溯的最少。 是否有一种聪明的方法可以找出(或打印出)求解器解
我正在尝试开发有关使用 swi-prolog 的常见问题解答(faq)。我将 swi-prolog 用于桌面(AMD64，多线程，版本 8.2.3)。 常见问题解答中的问题和答案以土耳其的母语编写。当
我在 Prolog 中编写了一个快速谓词，尝试使用 CLP(FD) 及其求解方程组的能力。 problem(A, B) :- A-B #= 320, A #= 21*B. 当我在 SW
我对 prolog 很困惑，它与我曾经使用过的任何语言(多种语言)都不同，我如何从以下位置获取 argv[0]: current_prolog_flag(argv, Argv), write(Argv
我正在尝试使用SWI-prolog将规则动态添加到知识库中，其中该规则的主体事先未知。 所需的规则如下所示: rule(a) :- fact(1), fact(2). 通常，您只需声明 assert(
我正在使用 SWI-Prolog 并且我正在尝试打印一个列表，但是如果该列表有 9 个以上的项目 - 它看起来像这样 - [1, 15, 8, 22, 5, 19, 12, 25, 3|...] 有没
我将用户输入重定向到文件see('entradasaida.txt')。很好 虽然，当我尝试从该流输入文件读取时，swi给了我这个错误: ERROR: entradasaida.txt:3:0: Sy
在“序言中的专家系统”一书中，我遇到了一个障碍。书中定义了一个简单的shell如下: solve :- abolish(known, 3), define(known, 3), to
我正在尝试比较 prolog 中的两个 peano 数，但有些结果是错误的。 任何人都可以帮助我，这是我的代码: %Not Equal notequal(0,s(A),X). notequal(s(A
假设我有一个包含以下内容的文件 main.pl /* I tried these one at a time, not all at once... */ [externalFile]. ['exte
append/3是一个非常强大的谓词。假设我想要一个以相同方式工作的谓词，但对于 SWI-Prolog 的字符串。 我看到的最简单的方法是使用 string_codes/2 将这些字符串转换为列表。
我正在努力理解如何正确使用 discontiguous/1 (SWI) Prolog 中的谓词。 让 buumi.pl成为这个伪事实的小文件: discontiguous(buumi/1). buum
我是一名优秀的程序员,十分优秀！