- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我需要在prolog中实现二进制加法,其中二进制数表示如下:
0: bot
1 : o(bot)
2 -> 10: z(o(bot))
3 -> 11: o(o(bot))
10 -> 1010: z(o(z(o(bot))))
add(X,bot,X):-!.
add(bot,X,X):-!.
add(z(X),z(Y),Res):- add(X,Y,D), Res = z(D).
add(z(X),o(Y),Res):- add(X,Y,D), Res = o(D).
add(o(X),z(Y),Res):- add(X,Y,D), Res = o(D).
add(o(X),o(Y),Res):-addc(X,Y,D), Res = z(D).
addc(X,bot,Res):-add(X,o(bot),Res),!.
addc(bot,X,Res):-add(X,o(bot),Res),!.
addc(z(X),z(Y),Res):- add(X,Y,D),Res = o(D).
addc(z(X),o(Y),Res):-addc(X,Y,D),Res = z(D).
addc(o(X),z(Y),Res):-addc(X,Y,D),Res = z(D).
addc(o(X),o(Y),Res):-addc(X,Y,D),Res = o(D).
?-add(o(o(bot)),z(o(o(bot))),D).
D = o(z(z(o(bot))))
?-add(o(o(bot)),X,z(o(o(bot)))).
Stack limit (0.2Gb) exceeded
Stack sizes: local: 0.1Gb, global: 34.9Mb, trail: 11.6Mb
Stack depth: 1,524,958, last-call: 50%, Choice points: 762,476
Possible non-terminating recursion:
[1,524,958] add(bot, <compound s/1>, _1496)
[1,524,957] add(bot, <compound s/1>, <compound z/1>)
最佳答案
(使用 bot
否则被认为是 zero
、 null
或 0
有点奇怪。格子在这里不是我们主要关注的问题。)
首先,我们试图理解为什么程序不会终止。这可能非常棘手,尤其是在存在 !
的情况下。这是Prolog的不纯元素之一。它们在一定程度上是需要的,但在这种情况下,它们只是有害的,因为它们阻碍了我们的推理。所以代替前两个cutful子句,write1
add(bot, X, X).
add(X, bot, X) :- dif(X, bot).
false
进入程序,因为有一个很好的特性我们可以利用:如果新程序不终止,那么旧程序也不会终止。通过这种方式,我们可以将问题缩小到原始程序的一小部分。经过几次尝试,我想出了以下失败片段:
add(bot,X,X) :- false.add(X,bot,X) :- false, dif(X,bot).add(z(X),z(Y),Res) :- false, add(X,Y,D), Res = z(D).add(z(X),o(Y),Res) :- false, add(X,Y,D), Res = o(D).add(o(X),z(Y),Res) :- false, add(X,Y,D), Res = o(D).add(o(X),o(Y),Res) :- addc(X,Y,D), false,Res = z(D).addc(bot,X,Res) :- add(X,o(bot),Res), false.addc(X,bot,Res) :- dif(X, bot), add(X,o(bot),Res), false.addc(z(X),z(Y),Res) :- false, add(X,Y,D), Res = o(D).addc(z(X),o(Y),Res) :- false, addc(X,Y,D), Res = z(D).addc(o(X),z(Y),Res) :- false, addc(X,Y,D), Res = z(D).addc(o(X),o(Y),Res) :- addc(X,Y,D), false,Res = o(D).?- add(o(o(bot)),X,z(o(o(bot)))).
Out of the ~2^23 possible failure slices, this appears to be a minimal one. That is, any further false
makes the program terminate.
Let's look at it: Everywhere Res
is either ignored or just passed further on. Therefore the third argument has no influence on termination whatsoever. But you can put all those Res =
equations just after the :-
. That's the earliest possible place.
add(bot,X,X).
add(X,bot,X):- dif(X,bot).
add(z(X),z(Y), z(D)) :- add(X,Y,D).
add(z(X),o(Y), o(D)) :- add(X,Y,D).
add(o(X),z(Y), o(D)) :- add(X,Y,D).
add(o(X),o(Y), z(D)) :- addc(X,Y,D).
addc(bot,X,Res):- add(X,o(bot),Res).
addc(X,bot,Res):- dif(X, bot), add(X,o(bot),Res).
addc(z(X),z(Y),o(D)):- add(X,Y,D).
addc(z(X),o(Y),z(D)):- addc(X,Y,D).
addc(o(X),z(Y),z(D)):- addc(X,Y,D).
addc(o(X),o(Y),o(D)):- addc(X,Y,D).
% NTI summary: Complete result is optimal.
add(A,B,C)terminates_if b(A),b(B);b(C).
% optimal. loops found: [add(z(_),z(_),z(_)),add(o(bot),o(o(_)),z(z(_))),add(o(o(_)),o(bot),z(z(_)))]. NTI took 8ms,72i,30i
addc(A,B,C)terminates_if b(A),b(B);b(C).
% optimal. loops found: [addc(z(z(_)),z(z(_)),o(z(_))),addc(bot,o(_),z(_)),addc(o(_),bot,z(_))]. NTI took 4ms,96i,96i
add/3
如果给出前两个参数或最后一个参数,则终止。所以你不需要第一个参数。相反,即使是更一般的查询也会终止:
?- add(X,Y,z(o(o(bot)))).
X = bot, Y = z(o(o(bot)))
; X = z(o(o(bot))), Y = bot
; X = z(bot), Y = z(o(o(bot)))
; X = z(o(o(bot))), Y = z(bot)
; X = z(z(bot)), Y = z(o(o(bot)))
; X = z(z(o(bot))), Y = z(o(bot))
; X = z(z(z(bot))), Y = z(o(o(bot)))
; X = z(z(o(bot))), Y = z(o(z(bot)))
; X = z(o(bot)), Y = z(z(o(bot)))
; X = z(o(o(bot))), Y = z(z(bot))
; X = z(o(z(bot))), Y = z(z(o(bot)))
; X = z(o(o(bot))), Y = z(z(z(bot)))
; X = o(bot), Y = o(z(o(bot)))
; X = o(z(o(bot))), Y = o(bot)
; X = o(z(bot)), Y = o(z(o(bot)))
; X = o(z(o(bot))), Y = o(z(bot))
; X = o(z(z(bot))), Y = o(z(o(bot)))
; X = o(z(o(bot))), Y = o(z(z(bot)))
; X = Y, Y = o(o(bot))
; X = o(o(bot)), Y = o(o(z(bot)))
; X = o(o(z(bot))), Y = o(o(bot))
; X = Y, Y = o(o(z(bot)))
; false.
if_/3
图书馆
reif
为
SICStus和
add(A, B, C) :- if_(A = bot, B = C, ( B = bot, A = C ) ).
关于recursion - Prolog 二进制加法,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/59907659/
我正在尝试将谷歌地图集成到 Xamarin Android。但是,如标题中所写,收到错误。此错误出现在我的 SetContentView (Resource.Layout.Main); 上,如下所示:
在 Delphi 中如何以非文本模式打开二进制文件?类似于 C 函数 fopen(filename,"rb") 最佳答案 有几个选项。 1。使用文件流 var Stream: TFileStrea
我现在正在处理一个问题,如下所示: 有两个数字 x1 和 x2 并且 x2 > x1。 例如 x1 = 5; x2 = 10; 而且我必须在二进制表示中找到 x1 和 x2 之间的总和。 5 = 10
我有这个“程序集”文件(仅包含 directives ) // declare protected region as somewhere within the stack .equiv prot_s
有没有办法在powershell中确定指定的文件是否包含指定的字节数组(在任何位置)? 就像是: fgrep --binary-files=binary "$data" "$filepath" 当然,
我是一名工程师,而不是软件程序员,所以请原谅我的无知。 我编写了一个 Delphi(7SE) 程序,用于从连接到两个数字温度计的 USB 端口读取“真实”数据类型。 我已经完成了该计划的大部分内容。
我有一些代码,例如: u=(float *)calloc(n, sizeof(float)); for(i=1; i
typedef struct pixel_type { unsigned char r; unsigned char g; unsigned char b;
如何判断二进制数是否为负数? 目前我有下面的代码。它可以很好地转换为二进制文件。转换为十进制时,我需要知道最左边的位是否为 1 以判断它是否为负数,但我似乎无法弄清楚该怎么做。 此外,我如何才能让它返
我有一个带有适当重载的 Vect*float 运算符的 vector 类,我正在尝试创建全局/非成员 float*Vect 运算符,如下所示:(注意这是一个经过大量编辑的示例) class Vect
对于使用 C 编程的项目,我们正在尝试将图像转换为二进制数据,反之亦然。我们在网上找到的所有其他解决方案都是用 C++ 或 Java 编写的。这是我们尝试过的方法: 将图像转换为包含二进制数据的文本文
我需要对列表的元素求和,其中包含所有零或一,如果列表中有 1,则结果为 1,否则为 0。 def binary_search(l, low=0,high=-1): if not l: retu
我到处搜索以找到将 float 转换为八进制或二进制的方法。我知道 float.hex 和 float.fromhex。是否有模块可以对八进制/二进制值执行相同的工作? 例如:我有一个 float 1
当我阅读有关 list.h 文件中的 hlist 的 FreeBSD 源代码时,我对这个宏感到困惑: #define hlist_for_each_entry_safe(tp, p, n, head,
我不知道出了什么问题,也不知道为什么会出现此错误。我四处搜索,但我终究无法弄明白。 void print_arb_base(unsigned int n, unsigned int b) {
在任何语言中都可以轻松地将十进制转换为二进制,反之亦然,但我需要一个稍微复杂一点的函数。 给定一个十进制数和一个二进制位,我需要知道二进制位是开还是关(真或假)。 示例: IsBitTrue(30,1
在下面的代码中,我创建了两个文件,一个是文本格式,另一个是二进制格式。文件的图标显示相同。但是这两个文件的特征完全相同,包括大小、字符集(==二进制)和流(八位字节)。为什么没有文本文件?因为如果我明
我想通读一个二进制文件。谷歌搜索“python binary eof”引导我here . 现在,问题: 为什么容器(SO 答案中的 x)不包含单个(当前)字节而是包含一大堆字节?我做错了什么? 如果应
为什么只允许以 10 为基数使用小数点?为什么以下会引发语法错误? 0b1011101.1101 我输入的数字是否有歧义?除了 93.8125 之外,字符串似乎没有其他可能的数字 同样的问题也适用于其
boost 库中有二进制之类的东西吗?例如我想写: binary a; 我很惭愧地承认我曾尝试找到它(Google、Boost)但没有结果。他们提到了一些关于 binary_int<> 的内容,但我既
我是一名优秀的程序员,十分优秀!