Преобразование минут в часы в прологе

Question

Я пытаюсь преобразовать общее количество минут (N) в количество часов (H) и количество минут (M) в прологе, используя этот код (пока не реализован подсчет минут):

minutes_to_hours(N, H, M) :-

   (   N >= 60
   ->  H is H1+1,
       N is N1-60,
       minutes_to_hours(N, H, M)
   ;   writeln(H)
   ).

Я получаю эту ошибку:

Arguments are not sufficiently instantiated
In:
[2] _1440 is _1446+1
[1] mins_to_hours_and_mins(60,_1508,_1510) at  line 1

Answer 1

Как вы и просили, возможное решение с использованием рекурсии может быть:

minutes_to_hours(Mins,Hours) :-
    (   Mins > 60 ->  
        M is Mins - 60,
        H1 is Hours + 1,
        minutes_to_hours(M,H1) ;
        format('Hours: ~w, Reminder: ~w~n',[Hours,Mins])
    ).

?- minutes_to_hours(125,0).
Hours: 2, Reminder: 5
true

Однако вы должны предпочесть решение @ Capelli C с mod и //.

Answer 2

H1 не создается, следовательно, ошибка. Но учтите, что рекурсия не нужна, вы можете сделать это аналогично другим языкам:

?- [user].
|: minutes_to_hours(N, H, M) :-
|:   H is N // 60,
|:   M is N mod 60.
|: ^D% user://1 compiled 0.05 sec, 1 clauses
true.

?- minutes_to_hours(125,H,M).
H = 2,
M = 5.