1

我在 Prolog 中编写一个相对简单的谓词时遇到了一些麻烦。这个谓词应该接收格式为 Hours:Minutes 的两个参数，计算两者之间的差异并检查该值是否大于或等于 40 分钟。

这是我到目前为止所拥有的：

time(Time1, Time2):- 
    X:Y =:= Time1, A:B =:= Time2, calculate_time(X, Y, A, B).

calculate_time(X, Y, A, B):-
    Y - X =:= 0,
    B - A >= 40, !.
calculate_time(X, Y, A, B):-
    Y - X > 0.

正如您可以想象的那样，这给出了一个错误，即：

?- time(10:00, 10:55).
 ERROR at  clause 1 of user:time/2 !!
 INSTANTIATION ERROR- in arithmetic: expected bound value

所以，据我所知，他认为他得到了四个论据。他为什么会有这样的反应？另外，在文件的开头，我有以下命令：

:-op(500,xfy,:).
:-op(600,xfy,/).

该谓词应该是更大程序的一部分，因此这两行需要保留在文件中。我没有使用任何模块，我正在使用 YAP。

任何帮助，将不胜感激！

4

2 回答 2

2

你有两个问题。第一个是您正在使用=:=/2which 测试两个数字表达式的计算结果是否相同，但您使用的是结构而不是数字表达式。

似乎您的逻辑也不完全正确（最后一个条款没有意义，您是从第一次的小时数中减去分钟数）

于 2012-05-07T18:18:52.780 回答
0

如果时差大于或等于 40 分钟，则返回 true。

程序：

time(A:B,X:Y):- 
    HOURS is X - A,
    MINUTES is Y - B,
    LENGTH is HOURS*60 + MINUTES,
    LENGTH >= 40.

测试1：

?- time(06:40,09:45).
true.

测试2：

?- time2(09:40,09:45).
false.
于 2018-09-20T10:21:09.503 回答