- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
这是我创建的代码。
mins_to_hours(In, H, M):-
In < 60,
H = 0,
M is In.
mins_to_hours(In, H, M):-
In >= 60,
H is H1+1,
In1 is In-60,
mins_to_hours(In1, H1, M).
当分钟小于 60 时,它工作正常,例如
?- mins_to_hours(20,H,M).
H = 0,
M = 20 ;
false.
但是当尝试运行超过 60 分钟时
?- mins_to_hours(80,H,M).
它输出一个异常
ERROR: Arguments are not sufficiently instantiated
ERROR: In:
ERROR: [9] _3198 is _3204+1
ERROR: [8] mins_to_hours(80,_3232,_3234) at c:/.../xyz.pl:11
ERROR: [7] <user>
在位置 H 是 H1+1,
。
有什么解决办法吗?
最佳答案
这是您的代码的更正版本。
mins_to_hours(Minutes_in, H, M) :-
mins_to_hours_helper(0, Minutes_in, H, M).
mins_to_hours_helper(H0, M0, H0, M0):-
M0 < 60, !.
mins_to_hours_helper(H0, M0, H, M):-
M0 >= 60,
H1 is H0+1,
M1 is M0-60,
mins_to_hours_helper(H1, M1, H, M).
主要变化是:
H0
和 H1
,以及 M0
与 M1
。mins_to_hours_helper
。以下是一些测试用例(使用 SWI-Prolog):
:- begin_tests(mins_to_hours).
test(-1) :-
mins_to_hours(-1,H,M),
assertion(H == 0),
assertion(M == -1).
test(0) :-
mins_to_hours(0,H,M),
assertion(H == 0),
assertion(M == 0).
test(1) :-
mins_to_hours(1,H,M),
assertion(H == 0),
assertion(M == 1).
test(59) :-
mins_to_hours(59,H,M),
assertion(H == 0),
assertion(M == 59).
test(60) :-
mins_to_hours(60,H,M),
assertion(H == 1),
assertion(M == 0).
test(600) :-
mins_to_hours(600,H,M),
assertion(H == 10),
assertion(M == 0).
test(601) :-
mins_to_hours(601,H,M),
assertion(H == 10),
assertion(M == 1).
:- end_tests(mins_to_hours).
运行测试用例:
?- run_tests.
% PL-Unit: mins_to_hours ....... done
% All 7 tests passed
true.
注意:run_tests.
不适用于 SWISH ,
No permission to call sandboxed `'$current_module'(_4002,_4004)'
因此您必须手动输入每个查询并手动检查结果。
参见:sandbox.pl
现在有更好的方法来做到这一点。
mins_to_hours(Minutes_in, H, M) :-
H is Minutes_in // 60,
M is Minutes_in rem 60.
请注意,这是确定性的,不是递归的,并且通过了所有测试用例。
参见:f-///2 (整数除法)和rem/2 (整数除法的余数)
注意。
由于您没有指定当分钟数为负数时应该发生什么,但确实提供了将分钟数小于 60 并移至结果的代码,因此此代码重现了该响应。
代码的一个变体是使用 mod/2而不是 rem/2。这将根据输入给出不同的答案,但可能是所需的结果。
根据@false 的反馈更新。
当编写的代码超出简单练习时,需要使用 modes 编写记在心里。
原答案代码写成
声明:mins_to_hours(++Minutes_in:int, -H:int, -M:int) 已确定。
意思是
Minutes_in 必须绑定(bind)到一个整数
H 必须是一个变量
M 必须是一个变量
但是正如@false 指出的那样
?- mins_to_hours(Total, H, 1), Total = 61, H = 1.
false.
Declaration: mins_to_hours(-Minutes_in:int, -H:int, +M:int) is det.
?- Total = 61, H = 1, mins_to_hours(Total, H, 1).
Total = 61,
H = 1.
Declaration: mins_to_hours(+Minutes_in:int, +H:int, +M:int) is det.
第一个示例返回 false
,(失败)但应该返回 true
,第二个示例针对相同的值但以不同的模式返回有效答案。
虽然我的回答只适用于一种模式 answer Daniel Lyons 与其他人合作,因为它使用约束。
?- mins_to_hours(Total, H, 1), Total = 61, H = 1.
Total = 61,
H = 1.
因此,为了避免@false 的第一个示例返回实际上是错误的false
,它应该抛出一个Arguments are not enoughfully instantiated
错误。 @false 还指出最简单的方法是
delay unification after the cut
这是更新后的代码:
mins_to_hours(Minutes_in, H, M) :-
mins_to_hours_helper(0, Minutes_in, H, M).
mins_to_hours_helper(H0, M0, H1, M1):-
M0 < 60, !,
H0 = H1,
M0 = M1.
mins_to_hours_helper(H0, M0, H, M):-
M0 >= 60,
H1 is H0+1,
M1 is M0-60,
mins_to_hours_helper(H1, M1, H, M).
哪些通过了测试用例
?- run_tests.
% PL-Unit: mins_to_hours ....... done
% All 7 tests passed
true.
并给出第一个例子的错误:
?- mins_to_hours(Total, H, 1), Total = 61, H = 1.
ERROR: Arguments are not sufficiently instantiated
ERROR: In:
ERROR: [11] _6584<60
ERROR: [10] mins_to_hours_helper(0,_6612,_6614,1) at c:/XYZ.pl:23
ERROR: [8] '<meta-call>'(user:(...,...)) <foreign>
ERROR: [7] <user>
ERROR:
ERROR: Note: some frames are missing due to last-call optimization.
ERROR: Re-run your program in debug mode (:- debug.) to get more detail.
关于recursion - Prolog 将分钟转换为小时,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/54688256/
我正在尝试将一个字符串逐个字符地复制到另一个字符串中。目的不是复制整个字符串,而是复制其中的一部分(我稍后会为此做一些条件......) 但我不知道如何使用迭代器。 你能帮帮我吗? std::stri
我想将 void 指针转换为结构引用。 结构的最小示例: #include "Interface.h" class Foo { public: Foo() : mAddress((uint
这有点烦人:我有一个 div,它从窗口的左上角开始过渡,即使它位于文档的其他任何位置。我试过 usign -webkit-transform-origin 但没有成功,也许我用错了。有人可以帮助我吗?
假设,如果将 CSS3 转换/转换/动画分配给 DOM 元素,我是否可以检测到该过程的状态? 我想这样做的原因是因为我正在寻找类似过渡链的东西,例如,在前一个过渡之后运行一个过渡。 最佳答案 我在 h
最近我遇到了“不稳定”屏幕,这很可能是由 CSS 转换引起的。事实上,它只发生在 Chrome 浏览器 上(可能还有 Safari,因为一些人也报告了它)。知道如何让它看起来光滑吗?此外,您可能会注意
我正在开发一个简单的 slider ,它使用 CSS 过渡来为幻灯片设置动画。我用一些基本样式和一些 javascript 创建了一支笔 here .注意:由于 Codepen 使用 Prefixfr
我正在使用以下代码返回 IList: public IList FindCodesByCountry(string country) { var query =
如何设计像这样的操作: 计算 转化 翻译 例如:从“EUR”转换为“CNY”金额“100”。 这是 /convert?from=EUR&to=CNY&amount=100 RESTful 吗? 最佳答
我使用 jquery 组合了一个图像滚动器,如下所示 function rotateImages(whichHolder, start) { var images = $('#' +which
如何使用 CSS (-moz-transform) 更改一个如下所示的 div: 最佳答案 你可以看看Mozilla Developer Center .甚至还有例子。 但是,在我看来,您的具体示例不
我需要帮助我正在尝试在选中和未选中的汉堡菜单上实现动画。我能够为菜单设置动画,但我不知道如何在转换为 0 时为左菜单动画设置动画 &__menu { transform: translateX(
我正在为字典格式之间的转换而苦苦挣扎:我正在尝试将下面的项目数组转换为下面的结果数组。本质上是通过在项目第一个元素中查找重复项,然后仅在第一个参数不同时才将文件添加到结果集中。 var items:[
如果我有两个定义相同的结构,那么在它们之间进行转换的最佳方式是什么? struct A { int i; float f; }; struct B { int i; float f; }; void
我编写了一个 javascript 代码,可以将视口(viewport)从一个链接滑动到另一个链接。基本上一切正常,你怎么能在那里看到http://jsfiddle.net/DruwJ/8/ 我现在的
我需要将文件上传到 meteor ,对其进行一些图像处理(必要时进行图像转换,从图像生成缩略图),然后将其存储在外部图像存储服务器(s3)中。这应该尽可能快。 您对 nodejs 图像处理库有什么建议
刚开始接触KDB+,有一些问题很难从Q for Mortals中得到。 说,这里 http://code.kx.com/wiki/JB:QforMortals2/casting_and_enumera
我在这里的一个项目中使用 JSF 1.2 和 IceFaces 1.8。 我有一个页面,它基本上是一大堆浮点数字段的大编辑网格。这是通过 inputText 实现的页面上的字段指向具有原始值的值对象
ScnMatrix4 是一个 4x4 矩阵。我的问题是什么矩阵行对应于位置(ScnVector3),旋转(ScnVector4),比例(ScnVector3)。第 4 行是空的吗? 编辑: 我玩弄了
恐怕我是 Scala 新手: 我正在尝试根据一些简单的逻辑将 Map 转换为新 Map: val postVals = Map("test" -> "testing1", "test2" -> "te
输入: This is sample 1 This is sample 2 输出: ~COLOR~[Green]This is sample 1~COLOR~[Red]This is sam
我是一名优秀的程序员,十分优秀!